Countable functionals (1959)

by S C Kleene
Venue:In Constructivity in Mathematics