The Structure and Elementary Theory of the Recursive Enumerable Sets (1979)

by M Stob
Venue:University of Chicago