Interpretation of analysis by means of functionals of nite type (1959)

by G Kreisel
Venue:Constructivity in Mathematics