1965], An application of model theory to degrees of unsolvability (0)

by J R Shoenfield
Venue:in Symposium on the Theory of Models