Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks) - Softcover

Buch 1 von 5: Open Logic Project Textbooks

Zach, Richard

 
9781077322127: Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
Softcover
ISBN 10: 1077322127 ISBN 13: 9781077322127
Verlag: Independently published, 2019

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.

Verlag
Independently published
Erscheinungsdatum
2019
Sprache
Englisch
ISBN 10 
1077322127
ISBN 13 
9781077322127
Einband
Taschenbuch
Anzahl der Seiten
388
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar