Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007.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
New. This item is printed on demand. 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.
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.
Aug 12, 2010
Received it in great condition. Delivery was fast too. Thanks.
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited, Baker & Taylor, Inc., or by their respective licensors, or by the publishers, or by their respective licensors. For personal use only. All rights reserved. All rights in images of books or other publications are reserved by the original copyright holders.