Verwandte Artikel zu Diagonalization and Self-Reference (Oxford Logic Guides,...

Diagonalization and Self-Reference (Oxford Logic Guides, Band 27) - Hardcover

Smullyan, Raymond M.

 
9780198534501: Diagonalization and Self-Reference (Oxford Logic Guides, Band 27)
Hardcover
ISBN 10: 0198534507 ISBN 13: 9780198534501
Verlag: OXFORD UNIV PR, 1994

Inhaltsangabe

This book presents a systematic, unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.

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

Verlag
OXFORD UNIV PR
Erscheinungsdatum
1994
Sprache
Englisch
ISBN 10 
0198534507
ISBN 13 
9780198534501
Einband
Gebundene Ausgabe
Anzahl der Seiten
416
Kontakt zum Hersteller
ORIGINAL KAISER
https://corp.oup.com/

Via Liguria 4
San Giuliano Milanese
MI
20098
Italien