Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007.
Read More
Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007.
Read Less
Add this copy of Computability and Logic to cart. $36.64, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2007 by Cambridge University Press.
Add this copy of Computability and Logic to cart. $121.37, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2007 by Cambridge University Press.
This book is poorly written. The theorems and so forth are not marked off from the main text, so that when one is reading a difficult proof one may run over the end without knowing. There are also linguistic sillinesses like "whether or not" where "whether" is meant - my copy has some deletions on this account. There should surely have been more examples of things proved to exist. I understood the first few chapters despite the poor presentation, but got thoroughly bogged down a little more than half-way through. As I am an MMath whose degree work contained some logic, the fault is probably not mine. I understand that the editions revised by Burgess have a better lay-out of proofs, but I shall not take the risk for a while - I may seek knowledge on this subject elsewhere.
Virendra
Aug 12, 2010
Excellent service
Received it in great condition. Delivery was fast too. Thanks.
