Computability and Logic Boolos

Boolos, George; Jeffrey, Richard C.

ISBN 10: 052120402X / ISBN 13: 9780521204026

Published by Cambridge University Press, 1974

About this Item

Previous owner name in ink neatly in ink on the front free end-paper. Errata slip laid in. Publishers sales postcard laid in. Price-clipped dust-jacket is somewhat rubbed with some short tears & creasing. Overall quite a handsome copy. 262 pp.

Seller Inventory # K4-N5E6-32LW

Bibliographic Details

• Title: Computability and Logic Boolos
• Publisher: Cambridge University Press
• Publication Date: 1974
• Language: English
• ISBN 10: 052120402X
• ISBN 13: 9780521204026
• Binding: Hardcover
• Condition: Clean & Unmarked
• Dust Jacket Condition: Very Good
• Weight: 18 ounces
• Seller catalogs:
  • Philosophy

About this title

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.