Incompleteness and Computability
Author | : Richard Zach |
Publisher | : Createspace Independent Publishing Platform |
Total Pages | : 228 |
Release | : 2017-06-15 |
ISBN-10 | : 1548138088 |
ISBN-13 | : 9781548138080 |
Rating | : 4/5 (88 Downloads) |
Download or read book Incompleteness and Computability written by Richard Zach and published by Createspace Independent Publishing Platform. This book was released on 2017-06-15 with total page 228 pages. Available in PDF, EPUB and Kindle. Book excerpt: A textbook on recursive function theory and G�del's incompleteness theorems. Also covers models of arithmetic and second-order logic.