|
Diagonalization and Self-Reference
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
Inhalt: |
BL An introduction to the topic - pitched at an elementary level This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logics, semantics, and metamathematics. There is also a presentation of new results - partly in these areas, but mostly in their synthesis. |
|