Computability and Logic - Softcover

Boolos, George S.; Jeffrey, Richard C.

 
9780521389235: Computability and Logic
Softcover
ISBN 10: 0521389232 ISBN 13: 9780521389235
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 
0521389232
ISBN 13 
9780521389235
Einband
Tapa blanda
Auflage
3
Anzahl der Seiten
320
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich

Weitere beliebte Ausgaben desselben Titels

9780521007580: Computability and Logic

Vorgestellte Ausgabe

ISBN 10:  0521007585 ISBN 13:  9780521007580
Verlag: Cambridge University Press, 2002
Softcover