Beth's Theorem and Self-Referential Sentences
- 1 January 1978
- book chapter
- Published by Elsevier
- p. 253-261
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- An effective fixed-point theorem in intuitionistic diagonalizable algebrasStudia Logica, 1976
- Provability interpretations of modal logicIsrael Journal of Mathematics, 1976
- The fixed-point theorem for diagonalizable algebrasStudia Logica, 1975
- Gödel's diagonalization technique and related properties of theoriesColloquium Mathematicum, 1973