A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.
Read More
A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.
Read Less
Add this copy of Computability and Logic to cart. $3.68, very good condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1989 by Cambridge University Press.
Add this copy of Computability and Logic to cart. $3.68, good condition, Sold by ThriftBooks-Reno rated 5.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 1989 by Cambridge University Press.
Add this copy of Computability and Logic to cart. $3.68, fair condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1989 by Cambridge University Press.
Add this copy of Computability and Logic to cart. $3.68, good condition, Sold by ThriftBooks-Baltimore rated 4.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 1989 by Cambridge University Press.
Add this copy of Computability and Logic to cart. $3.99, good condition, Sold by Wonder Book - Member ABAA/ILAB rated 5.0 out of 5 stars, ships from Frederick, MD, UNITED STATES, published 1989 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Good condition. 3rd edition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
Add this copy of Computability and Logic to cart. $29.57, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1989 by Cambridge University Press.
Add this copy of Computability and Logic to cart. $51.50, new condition, Sold by Chidoc5 Rare Books rated 3.0 out of 5 stars, ships from Highland Park, IL, UNITED STATES, published 1989 by Cambridge University Press.
Add this copy of Computability and Logic to cart. $72.11, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1989 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.