Je koopt precies het boek dat op de foto staat
Parameters
- 418bladzijden
- 15 uur lezen
Meer over het boek
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.
Een boek kopen
Open Logic Project Textbooks: Sets, Logic, Computation, Richard Zacharuk
- Taal
- Jaar van publicatie
- 2021
- product-detail.submit-box.info.binding
- (Paperback),
- Staat van het boek
- Zeer goed
- Prijs
- € 11,49
Betaalmethoden
Nog niemand heeft beoordeeld.
- Titel
- Open Logic Project Textbooks: Sets, Logic, Computation
- Ondertitel
- An Open Introduction to Metalogic
- Taal
- Engels
- Auteurs
- Richard Zacharuk
- Uitgever
- Independently published
- Jaar van publicatie
- 2021
- Formaat
- Paperback
- Aantal pagina's
- 418
- ISBN13
- 9798536395509
- Reeks
- Aantekening
- 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.