Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks) - Softcover
Book 1 of 5: Open Logic Project Textbooks
Synopsis
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.
"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)
Published by
Independently published, 2019
ISBN 10: 1077322127
ISBN 13: 9781077322127
Used
paperback
Seller: Friends of Johnson County Library, Lenexa, KS, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: LikeNew. This paperback book appears like new. The exterior can have minor shelving marks. The pages appear to be clean and unmarked. All items ship Monday - Saturday - Fast Shipping in a secure package. Your purchase will help support the programs and collections of the Johnson County (Kansas) Library. Seller Inventory # 53DTTR000TWY
Stock Image
Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
Seller: GoldBooks, Denver, CO, U.S.A.
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # 62L41_55_1077322127