Computability and Logic - Couverture rigide

Boolos, George S.; Jeffrey, Richard C.

 
9780521380263: Computability and Logic
Couverture rigide
ISBN 10 : 052138026X ISBN 13 : 9780521380263
Editeur : Cambridge University Press, 1989

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

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

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Cambridge University Press
Date d'édition
1989
Langue
anglais
ISBN 10 
052138026X
ISBN 13 
9780521380263
Reliure
Relié
Numéro d'édition
3
Nombre de pages
314
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France

Autres éditions populaires du même titre

9780521389235: Computability and Logic

Edition présentée

ISBN 10 :  0521389232 ISBN 13 :  9780521389235
Editeur : Cambridge University Press, 1989
Couverture souple