Springer Book Archives
0. Introduction.- 1. The Incompleteness Theorems.- 2. Self-Reference.- 3. Things to Come.- 4. The Theory PRA.- 5. Encoding Syntax in PRA.- 6. Additional Arithmetic Prerequisites.- I. The Logic of Provability.- 1. Provability as Modality.- 2. Modal Model Theory.- 3. Arithmetic Interpretations of PRL.- II. Multi-Modal Logic and Self-Reference.- 4. Bi-Modal Logics and Their Arithmetic Interpretations.- 5. Fixed Point Algebras.- III. Non-Extensional Self-Reference.- 6. Rosser Sentences.- 7. An Ubiquitous Fixed Point Calculation.
Ask a Question About this Product More... |