Sets, Logic, Computation
Download or Read eBook Sets, Logic, Computation PDF 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.
Author | : Richard Zach |
Publisher | : |
Total Pages | : 418 |
Release | : 2021-07-13 |
ISBN-10 | : 9798536395509 |
ISBN-13 | : |
Rating | : 4/5 (09 Downloads) |
Book Synopsis Sets, Logic, Computation by : Richard Zach
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.