Computability and Logic

George Boolos; Richard C. Jeffrey

ISBN 10: 052120402X / ISBN 13: 9780521204026

Published by Cambridge University Press, 1974

About this Item

Type: Book Small plain label inside cover.D/J only Good.Complete but with some chipping to top edge.

Seller Inventory # 053325

Bibliographic Details

• Title: Computability and Logic
• Publisher: Cambridge University Press
• Publication Date: 1974
• Language: English
• ISBN 10: 052120402X
• ISBN 13: 9780521204026
• Binding: Cloth
• Edition: First Edition.
• Condition: Very Good
• Dust Jacket Condition: Good
• Seller catalogs:
  • MATHEMATICS

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.