Computability and Logic, Paperback by Boolos, George; Burgess, John P.; Jeffr...
Computability and Logic, Paperback by Boolos, George; Burgess, John P.; Jeffrey, Richard C., ISBN 0521701465, ISBN-13 9780521701464, Like New Used, Free shipping in the US Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.
Specifications
| Book Title | Computability and Logic |
| ISBN | 9780521701464 |
| Subject Area | Mathematics, Philosophy |
| Publication Name | Computability and Logic |
| Item Length | 10 in |
| Subject | Logic |
| Publication Year | 2007 |
| Type | Textbook |
| Format | Perfect |
| Language | English |
| Item Height | 0.7 in |
| Features | Revised |
| Item Weight | 22.9 Oz |
| Item Width | 7 in |
| Number Of Pages | 366 Pages |
What stands out about this textbook is how it balances depth and readability.
