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

Publication details

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