Deduction systems

Rolf Socher-Ambrosius, Patricia Johann
Bok · Engelsk · 1997

Utgitt	Berlin : Springer , c1997
Omfang	xii, 206 s. : fig.
Emner	Automatisk bevisføring : (NO-TrBIB)REAL009781 Avskjæring Bevisføring Førsteordens logikk Vis mer... Logikk Utfallsrom Utledninger
ISBN	0387948473