Computability and Logic 2ed - Hardcover

Boolos, George; Jeffrey, Richard C.

Hardcover

ISBN 10: 0521234794 ISBN 13: 9780521234795

Publisher: Cambridge University Press, 1981

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.

About this title

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.

About the Author

George Boolos was Professor of Philosophy, Massachusetts Institute of Technology.

Jeffrey was Emeritus Professor in the Department of Philosophy, Princeton University.

Edition details

• Publisher: Cambridge University Press
• Publication date: 1981
• Language: English
• ISBN 10: 0521234794
• ISBN 13: 9780521234795
• Binding: Hardcover
• Edition number: 1
• Number of pages: 304