Incompleteness and Computability: An Open Introduction to GÃ del's Theorems (Open Logic Project Textbooks)
Zach, Richard
ISBN 10: 1077323395 ISBN 13: 9781077323391
Published by Independently published, 2019
Used
Paperback
From
WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since 16 March 2007
This specific item is no longer available.
About this Item
Description:
Seller Inventory # GOR014008938
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Incompleteness and Computability: An Open ...
Publisher: Independently published
Publication Date: 2019
Binding: Paperback
Condition: Fine
Top Search Results from the AbeBooks Marketplace
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
Paperback
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 # GOR011708102
Buy Used
£ 4.60
£ 5.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom 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
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
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
£ 16.02
£ 12.50 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