Recursion theory and set theory, a marriage of convenience (1978)

by S Feferman
Venue:Generalized Recursion Theory II, Proceedings of the 1977 Oslo Symposium