Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
$14.00
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by fondationcepeo.ca
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
$14.00
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by fondationcepeo.ca
Free 30-day returns Details
Product details
| Management number | 236848246 | Release Date | 2026/07/10 | List Price | $5.60 | Model Number | 236848246 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ASIN | B099C47ND8 |
|---|---|
| ISBN13 | 979-8536395509 |
| Language | English |
| Publisher | Independently published |
| Dimensions | 7.44 x 0.99 x 9.69 inches |
| Item Weight | 2.12 pounds |
| Print length | 436 pages |
| Part of series | Open Logic Project Textbooks |
| Publication date | July 13, 2021 |
Bestseller ranking
Logic
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form