EUR 19,44
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Inhaltsverzeichnisrnrn1. The Propositional Calculusn2. First-Order Logicn3. First-Order Recursive Arithmeticn4. Arithmetization of Syntaxn5. The Incompleteness Theorems and Other Applications of the Liar Paradoxn6. Second-Order LogicnAppen.
Verlag: Dover Publications Jul 2006, 2006
ISBN 10: 048645018X ISBN 13: 9780486450186
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 22,56
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware - This self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.