Bevisføring i klassisk logikk anvendt innenfor en logikk for systemspesifikasjon

Publikasjonsdetaljer

• Journal: Cand. Scient thesis, Sunday 1. December 1985