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

Livre 1 sur 5: Open Logic Project Textbooks

Zach, Richard

 
9781077322127: Sets, Logic, Computation: An Open Introduction to Metalogic
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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

É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