Propositional Logic.- First-Order Logic.- Complete logical Calculi.- Foundations of Logic Programming.- Elements of Model Theory.- Incompleteness and Undecidability.- On the Theory of Self-Reference.
Innbundet — ikke tilgjengelig
Pocket
E-bok — ikke tilgjengelig
Lydbok — ikke tilgjengelig
Språk: Engelsk
Normalpris: 999,-
899,-
Spar 100,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig utsolgtBestillingsvare. Forventes sendt om ca 20 dager
Propositional Logic.- First-Order Logic.- Complete logical Calculi.- Foundations of Logic Programming.- Elements of Model Theory.- Incompleteness and Undecidability.- On the Theory of Self-Reference.