Exactement cet exemplaire ira dans le panier
Paramètres
- 418pages
- 15 heures de lecture
En savoir plus sur le livre
A textbook on the semantics, proof theory, and metatheory of first-order logic. It 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.
Achat du livre
Open Logic Project Textbooks: Sets, Logic, Computation, Richard Zacharuk
- Langue
- Année de publication
- 2021
- product-detail.submit-box.info.binding
- (souple),
- État du livre
- Très bon
- Prix
- 11,49 €
Modes de paiement
Personne n'a encore évalué .
- Titre
- Open Logic Project Textbooks: Sets, Logic, Computation
- Sous-titre
- An Open Introduction to Metalogic
- Langue
- Anglais
- Auteurs
- Richard Zacharuk
- Éditeur
- Independently published
- Publié
- 2021
- Format
- souple
- Pages
- 418
- ISBN13
- 9798536395509
- Séries
- Mots clés
- Manuels, Science et Mathématiques, Philosophie, Informatique & Internet, Mathématiques, Logique
- Description
- A textbook on the semantics, proof theory, and metatheory of first-order logic. It 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.