Computability and Logic

Jeffrey, Richard C., Boolos, George S.

ISBN 10: 0521389232 / ISBN 13: 9780521389235

Edité par Cambridge University Press, 1989

Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_447541271

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.

Revue de presse: ‘Intended for a second course in logic it gives excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.’ American Math Monthly

‘... particularly appropriate for graduate and advanced undergraduate students in philosophy ... The book is written in a clear and pleasing style and avoids pedantry ... It should be an excellent text for its intended audience.’ Mathematical Reviews

Détails bibliographiques

Titre : Computability and Logic
Éditeur : Cambridge University Press
Date d'édition : 1989
Reliure : Paperback
Etat : Very Good
Edition : 3ème Édition