Degrees of classes of RE sets (1976)

by J R Shoenfield
Venue:J. Symbolic Logic