Articles liés à Sets, Logic, Computation: An Open Introduction to Metalogic
Sets, Logic, Computation: An Open Introduction to Metalogic - Couverture souple
Livre 1 sur 5: Open Logic Project Textbooks
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.
Résultats de recherche pour Sets, Logic, Computation: An Open Introduction to Metalogic
Image fournie par le vendeur
Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
Edité par
Independently published, 2019
ISBN 10 : 1077322127
ISBN 13 : 9781077322127
Ancien ou d'occasion
Couverture souple
Vendeur : Zoom Books Company, Lynden, WA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. N° de réf. du vendeur ZBV.1077322127.VG
Acheter D'occasion
EUR 130,74
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)