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

by C Spector
Venue:Recursive Function Theory