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

by Solomon Feferman
Venue:23 Recursion Theory II, Oslo 1977