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

by G Kreisel
Venue:Constructivity in Mathematics, North-Holland