The third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and probability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences.

Computability and Logic 1989, Cambridge University Press, New York

ISBN-13: 9780521389235

3rd Revised edition

Trade paperback