Articles liés à Diagonalization and Self-Reference

Diagonalization and Self-Reference - Couverture rigide

Smullyan, Raymond M.

 
9780198534501: Diagonalization and Self-Reference
Couverture rigide
ISBN 10 : 0198534507 ISBN 13 : 9780198534501
Editeur : Clarendon Press, 1994

Synopsis

The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. The book provides a survey of introductory material and a summary of recent research. The first chapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.

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

Présentation de l'éditeur

The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. The book provides a survey of introductory material and a summary of recent research. The first chapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.

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

Éditeur
Clarendon Press
Date d'édition
1994
Langue
anglais
ISBN 10 
0198534507
ISBN 13 
9780198534501
Reliure
Relié
Nombre de pages
412
Coordonnées du fabricant
non disponible
Personne responsable
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italie