Sets, Logic, Computation: An Open Introduction to Metalogic - Couverture souple

Zach, Richard

Couverture souple

ISBN 10 : 1077322127 ISBN 13 : 9781077322127

Editeur : Independently published, 2019

Synopsis

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.

Détails de l'édition

• Éditeur: Independently published
• Date d'édition: 2019
• Langue: anglais
• ISBN 10: 1077322127
• ISBN 13: 9781077322127
• Reliure: Broché
• Nombre de pages: 388
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible