Computability and Logic by George S Boolos

Computability and Logic by George S Boolos

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.

SKU	Unavailable
ISBN 13
Title	Computability and Logic
Author	George S Boolos
Condition	Unavailable
Binding Type
Publisher
Year published
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.