Recursion on the countable functionals (1980)

by D Normann
Venue:Springer-Verlag Lecture Notes in Mathematics 811