Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics
- 1 January 1962
- other
- Published by American Mathematical Society (AMS) in Proceedings of Symposia in Pure Mathematics
- Vol. 5, 1-27
- https://doi.org/10.1090/pspum/005/0154801