Computability and Logic

Boolos, George S.; Burgess, John P.; Jeffrey, Richard C.

ISBN 10: 0521877520 / ISBN 13: 9780521877527

Edité par Cambridge University Press, 2007

Near Fine condition hardcover book, no dust jacket. Fifth Edition, 2007. Slightest shelf wear to covers and spine. Slightest bumping to spine edges. Beautiful gilt lettering on front cover and spine, not worn. Minute toning and smudging to text block edges. All books are individually inspected and described. Never X-Library unless specifically described as such. N° de réf. du vendeur 2501-9552

Synopsis :

Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007.

Présentation de l'éditeur: Computability and Logic has become a classic because of its accessibility to students 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. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.

Détails bibliographiques

Titre : Computability and Logic
Éditeur : Cambridge University Press
Date d'édition : 2007
Reliure : Hardcover
Etat : Near Fine
Etat de la jaquette : No Jacket
Edition : 5th or later Edition