1959] "Interpretation of analysis by means of constructive functionals of finite type (0)

by G Kreisel
Venue:In Constructivity in Mathematics