Recursion on the countable functionals, volume 811 of Lec. Not (1980)

by D Normann