Provably Recursive Functionals of Analysis: A Consistency Proof of Analysis by an Extension of Principles Formulated (1962)

by Clifford Spector
Venue:in Current Intuitionistic Mathematics,” in