The clausal theory of types

D.A. Wolfram
Bok · Engelsk · 1993 D. A. Wolfram

Utgitt	Cambridge : Cambridge University Press , 1993
Omfang	VIII, 124 s.
Emner	Høyereordens logikk Lambda-kalkyle Logikkprogrammering Symbolsk logikk Vis mer... Typeteori (Logikk) Høyereordens logikk((NO-TrBIB)HUME00707) Lambda-kalkyle((NO-TrBIB)HUME08171) Lambda-kalkyle((NO-TrBIB)REAL009393) Logikkprogrammering((NO-TrBIB)HUME04243) Logikkprogrammering((NO-TrBIB)REAL009516) Symbolsk logikk((NO-TrBIB)HUME00719) logikkprogrammering lambdakalkyle typeteori
ISBN	0521395380