Detalls del llibre
The main purpose of this book is to present a unified treatment of fixed points as they occur in Godel'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.
Veure més - Enquadernació Altres
- Autor/s Smullyan, Raymond M.
- ISBN13 9780198534501
- ISBN10 0198534507
- Idioma Anglès
Diagonalization and Self-Reference
- Autor/a Raymond M. Smullyan
- Editorial OXFORD U.P.
- ISBN 9780198534501
235,00€
Enviament Gratuït
Consulta disponibilitat
235,00€
Enviament Gratuït
Consulta disponibilitat
Les nostres llibreteres poden consultar la seva disponibilitat i donar-te una estimació de quan estaria llest.
Gràcies per comprar a llibreries reals!