Sold out but wanted!
Parameters
- 418 pages
- 15 hours of reading
More about the book
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.
Book purchase
Open Logic Project Textbooks: Sets, Logic, Computation, Richard Zacharuk
- Language
- Released
- 2021
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Title
- Open Logic Project Textbooks: Sets, Logic, Computation
- Subtitle
- An Open Introduction to Metalogic
- Language
- English
- Authors
- Richard Zacharuk
- Publisher
- Independently published
- Released
- 2021
- Format
- Paperback
- Pages
- 418
- ISBN13
- 9798536395509
- Series
- Tags
- Non-Fiction, Social Sciences, Textbooks, Technology & Engineering, Science & Math, Philosophy, Computers & Internet, Mathematics, Logic
- 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.