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:Proc. Sympos. Pure Math