Degrees of classes of r.e (1976)

by J R Shoeneld
Venue:sets, J. Symbolic Logic