This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book 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 ...
Read More
This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book 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. John Burgess has now enhanced the book by adding a selection of problems at the end of each chapter, and by reorganising and rewriting chapters to make them more independent of each other and thus to increase the range of options available to instructors as to what to cover and what to defer.
Read Less
Add this copy of Computability and Logic to cart. $11.98, very good condition, Sold by ThriftBooks-Reno rated 5.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 2002 by Cambridge University Press.
Add this copy of Computability and Logic to cart. $53.18, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2002 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.
