Degrees of classes of r.e. sets (1976)

by J R Shoenfield
Venue:J. Symbolic Logic