3 results
THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 19 April 2021, pp. 693-721
- Print publication:
- September 2022
-
- Article
- Export citation
A Survey of Propositional Realizability Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-42
- Print publication:
- March 2009
-
- Article
- Export citation
Raymond M. Smullyan. Gödel's incompleteness theorems. Oxford logic guides, no. 19. Oxford University Press, New York and Oxford1992, xiii + 139 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1320-1324
- Print publication:
- December 1995
-
- Article
- Export citation