2 results
Proofs of non-deducibility in intuitionistic functional calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 204-207
- Print publication:
- December 1948
-
- Article
- Export citation
S. C. Kleene. On the interpretation of intuitionistic number theory. The journal of symbolic logic, vol. 10 (1945), pp. 109–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 12 / Issue 3 / September 1947
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-93
- Print publication:
- September 1947
-
- Article
- Export citation