978-0-521-20402-6 / 9780521204026

Computability and Logic


Publisher:Cambridge University Press



Prices INCLUDE standard shipping to United States
Show prices without shipping
Change shipping destination/currency
Shipping prices may be approximate. Please verify cost before checkout.

About the book:

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.

Search under way...

Search complete.

Click on the price to find out more about a book.

New books: 1 - 4 of 4


Used books: 1 - 25 of 63