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

Holden, Marit

December 01, 1985

SAMBA

• Published date: December 01, 1985
• Page(s):
• Journal: Cand. Scient. thesis. Department of Informatics, University of Oslo
• Name and number of project:
• Title: Bevisføring i klassisk logikk anvendt innenfor en logikk for systemspesifikasjon
• Author(s): Holden, Marit
• Report number: