Computability and Logic

Boolos, George S., Jeffrey, Richard C.

ISBN 10: 0521234794 / ISBN 13: 9780521234795

Published by Cambridge University Press, 1980

Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 40762743-6

Synopsis:

Now in its fourth edition, this book has become a classic because of its accessibility to students without a mathematical background, and because it covers not only the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, but also a large number of optional topics from Turing's theory of computability to Ramsey's theorem. John Burgess has enhanced the book by adding a selection of problems at the end of each chapter.

Book Description: Now in its fourth edition, this book has become a classic because of its accessibility to tudents without a mathematical background, and because it covers not simply the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, but also a large number of optional topics from Turing's theory of computability to Ramsey's theorem. John Burgess has now enhanced the book by adding a selection of problems at the end of each chapter, and by reorganising and rewriting chapters to make them more independent of each other.

Bibliographic Details

Title: Computability and Logic
Publisher: Cambridge University Press
Publication Date: 1980
Binding: Hardcover
Condition: Very Good
Edition: 1st Edition.