Computability and Logic

Boolos, George; Jeffrey, Richard C.

ISBN 10: 052120402X / ISBN 13: 9780521204026

Published by Cambridge University Press (edition First Edition), 1974

It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. Seller Inventory # 052120402X-11-1

Synopsis:

Book by Boolos, George, Jeffrey, Richard C.

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 (edition First Edition)
Publication Date: 1974
Binding: Hardcover
Condition: Good
Edition: First Edition.