De favoriet van de lezers is momenteel uitverkocht.
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)
Zodra we het ontdekt hebben, sturen we een e-mail.
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
- Tags
- Non-fictie, Sociale Wetenschappen, Studieboeken, Technologie & Industrie, Wetenschap en Wiskunde, Filosofie, Computers & Internet, Wiskunde, Logica
- 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.