Countable functionals (1959)

by S Kleene
Venue:Constructivity in Mathematics