Countable functionals, in A. Heyting (ed.): Constructivity (1959)

by S C Kleene
Venue:in Mathematics, North-Holland (1959) 81 - 100 [6[ Kreisel, G. Interpretation of analysis by means of functionals of finite type, in A. heyting (ed.): Constructivity in Mathematics, North-Holland