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

by C SPECTOR
Venue:Proc. symposia in pure mathematics