Sets, Logic, Computation
| Author | : Richard Zach |
| Publisher | : |
| Total Pages | : 418 |
| Release | : 2021-07-13 |
| ISBN-10 | : 9798536395509 |
| ISBN-13 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis Sets, Logic, Computation by : Richard Zach
Download or read book Sets, Logic, Computation written by Richard Zach and published by . This book was released on 2021-07-13 with total page 418 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
