3543997
9780521380263
Computability and Logic
by George S. Boolos, Richard C. Jeffrey
Out of Stock
The item you're looking for is currently unavailable.
Product details
- ISBN-13: 9780521380263
- ISBN: 052138026X
- Edition: 3
- Publication Date: 1989
- Publisher: Cambridge University Press
AUTHOR
SUMMARY
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.George S. Boolos is the author of 'Computability and Logic', published 1989 under ISBN 9780521380263 and ISBN 052138026X.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
