Computability and Logic

Computability and Logic
sku: COM9780521389235NEW
ACCORDING TO OUR RECORDS THIS PRODUCT IS NOT AVAILABLE NOW
$35.12
Shipping from: Canada
   Description
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.
   Price history chart & currency exchange rate

Customers also viewed