Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks) - Softcover
Buch 1 von 5: Open Logic Project Textbooks
Inhaltsangabe
A textbook on the semantics, proof theory, and metatheory of first-order logic. Covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Sets, Logic, Computation: An Open Introduction to Metalogic...
Beispielbild für diese ISBN
Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
Anbieter: GoldBooks, Denver, CO, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Bestandsnummer des Verkäufers 62L41_55_1077322127
Neu kaufen
EUR 58,26
EUR 3,54 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar