Recursion on the Countable Functionals (1980)

by D Normann
Venue:Lecture Notes in Mathematics 811