Set recursion, in: Generalized Recursion Theory (1978)

by D Normann
Venue:Studies in Logic, North