Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
Description:
A textbook on the semantics, proof theory, and metatheory of first-order logic. 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.
Best prices to buy, sell, or rent ISBN 9781077322127
Frequently Asked Questions about Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
The price for the book starts from $8.33 on Amazon and is available from 3 sellers at the moment.
If you’re interested in selling back the Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks) book, the best buyback offer comes from and is $ for the book in good condition.
The Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks) book is in very low demand now as the rank for the book is 1,921,874 at the moment. A rank of 1,000,000 means the last copy sold approximately a month ago.
Not enough insights yet.