Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks) - Softcover
Book 2 of 5: Open Logic Project Textbooks
Synopsis
This book is an introduction to metamathematics and Gödel's theorems. It covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus. It is based on the Open Logic Project, and available for free download at ic.openlogicproject.org.
"synopsis" may belong to another edition of this title.
About the Author
Richard Zach is Professor of Philosophy at the University of Calgary, Canada. He works in logic, history of analytic philosophy, and the philosophy of mathematics. In logic, his main interests are non-classical logics and proof theory. He has also written on the development of formal logic and historical figures associated with this development such as Hilbert, Gödel, and Carnap. He has held visiting appointments at the University of California, Irvine, McGill University, and the University of Technology, Vienna.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Incompleteness and Computability: An Open Introduction...
Seller Image
Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
Published by
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Used
Softcover
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. Seller Inventory # BSM.ZIXX
Stock Image
Incompleteness and Computability: An Open Introduction to G�del's Theorems (Open Logic Project Textbooks)
Published by
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Used
Softcover
Seller: St Vincent de Paul of Lane County, Eugene, OR, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. paperback 100% of proceeds go to charity! May have signs of use, wear and minor cosmetic defects. Seller Inventory # V-04-3819
Stock Image
Incompleteness and Computability: An Open Introduction to Gödel's Theorems
Published by
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Used
Softcover
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Seller Inventory # M01077323395-V
Buy Used
US$ 11.05
US$ 11.79 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Incompleteness and Computability: An Open Introduction to Gödel's Theorems
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 281 pages. 9.69x7.44x0.64 inches. In Stock. Seller Inventory # zk1077323395
Buy New
US$ 22.24
US$ 16.85 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
Published by
Independently published 11.2019., 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Used
, Softcover/Paperback
Seller: Fundus-Online GbR Borkert Schwarz Zerfaß, Berlin, Germany
Seller rating 5 out of 5 stars
, Softcover/Paperback. Condition: Sehr gut. 328 Seiten Fresh and clean copy in good condition. Frisch erhaltenes und sauberes Exemplar in gutem Zustand. Contents: Introduction to Incompleteness - Recursive Functions - Arithmetization of Syntax - Representability in Q - Incompleteness and Provablity - Models of Arithmetic - Second-Order Logic - The Lambda Calculus - Derivations in Arithmetic Theories - First Order Logic - Natural Deduction - Biographies ISBN 9781077323391 Sprache: Englisch Gewicht in Gramm: 545. Seller Inventory # 1267983
Buy Used
US$ 21.37
US$ 47.15 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
Published by
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut | Seiten: 328 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 43181982/3
Buy Used
US$ 9.96
US$ 123.77 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available