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.
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.
Buy New
View this item
US$ 22.36
US$ 33.88 shipping from United Kingdom to U.S.A.
Destination, rates & speeds
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: HPB-Diamond, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_446563475
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
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 (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
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