Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics (1962)

by C Spector
Venue:in: J.C.E. Dekker (Ed.), Recursive Function Theory, Symposia in Pure Mathematics