Items related to Incompleteness and Computability: An Open Introduction...
Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks) - Softcover
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.
- PublisherIndependently published
- Publication date2019
- ISBN 10 1077323395
- ISBN 13 9781077323391
- BindingPaperback
- LanguageEnglish
- Number of pages281
Search results for Incompleteness and Computability: An Open Introduction...
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
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
Paperback
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Fine. Seller Inventory # GOR014008938
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
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: SecondSale, Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00087768839
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: 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
Quantity: 1 available
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
New
Soft cover
Seller: BestAroundDeals, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Soft cover. Condition: New. Seller Inventory # ABE-1745799466811
Quantity: 3 available