Computability and logic George S. Boolos, Richard C. Jeffrey.

Boolos, George:

ISBN 10: 052138026X / ISBN 13: 9780521380263

Published by Cambridge, Cambridge University Press, 1989

About this Item

Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C 504 9780521380263 Sprache: Englisch Gewicht in Gramm: 550.

Seller Inventory # 2502870

Bibliographic Details

• Title: Computability and logic George S. Boolos, Richard C. Jeffrey.
• Publisher: Cambridge, Cambridge University Press
• Publication Date: 1989
• Language: English
• ISBN 10: 052138026X
• ISBN 13: 9780521380263
• Binding: Hardcover
• Edition: 3rd Edition
• Seller catalogs:
  • SA MATHEMATIK

About this title

Synopsis

A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.

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.