Computability and Logic - Hardcover

Boolos, George S.; Jeffrey, Richard C.

 
9780521380263: Computability and Logic
Hardcover
ISBN 10: 052138026X ISBN 13: 9780521380263
Verlag: Cambridge University Press, 1989

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Críticas

‘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

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
1989
Sprache
Englisch
ISBN 10 
052138026X
ISBN 13 
9780521380263
Einband
Tapa dura
Auflage
3
Anzahl der Seiten
314
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich

Weitere beliebte Ausgaben desselben Titels

9780521389235: Computability and Logic

Vorgestellte Ausgabe

ISBN 10:  0521389232 ISBN 13:  9780521389235
Verlag: Cambridge University Press, 1989
Softcover