Countable functionals (1959)

by S C Kleene
Venue:Constructivity in Mathematics, North-Holland 81–100