Artículos relacionados a Computability and Logic

Computability and Logic - Tapa blanda

Boolos, George S.; Jeffrey, Richard C.

 
9780521389235: Computability and Logic
Tapa blanda
ISBN 10: 0521389232 ISBN 13: 9780521389235
Editorial: Cambridge University Press, 1989

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Cambridge University Press
Año de publicación
1989
Idioma
Inglés
ISBN 10 
0521389232
ISBN 13 
9780521389235
Encuadernación
Tapa blanda
Número de edición
3
Número de páginas
320
Contacto del fabricante
no disponible
Persona responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia