Sets, Logic, Computation: An Open Introduction to Metalogic
Overview & Synopsis
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.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Sets, Logic, Computation: An Open Introduction to Metalogic |
|---|---|
| Author / Organization | Richard Zach |
| Subject & Discipline | Mathematical Logic - Computability, Set Theory, Model Theory, etc, Theory of Computation and Computing, Computational Complexity |
| Categories | Mathematical Logic - Computability, Set Theory, Model Theory, etc |
| Publication Year | 2021 |
| ISBN | 979-8536395509 |
| License / Rights | CC BY 4.0 |
| Resource Verification | Verification pending |
| Alternative Mirrors & Links | |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Language | ENGLISH |
| Catalog ID | DOC-71811 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
Sets, Logic, Computation: An Open Introduction to Metalogic • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.