Items related to Sets, Logic, Computation: An Open Introduction to Metalogic...
Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks) - Softcover
Book 4 of 5: Open Logic Project Textbooks
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.
"synopsis" may belong to another edition of this title.
Search results for Sets, Logic, Computation: An Open Introduction to Metalogic...
Stock Image
Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR014950505
Buy Used
£ 7.40
£ 5.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
Seller: BestAroundDeals, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Soft cover. Condition: New. Seller Inventory # ABE-1745799544578