ISBN is

978-0-521-20402-6 / 9780521204026

Computability and Logic

by

Publisher:Cambridge University Press

Edition:Hardcover

Language:English

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