Π0 1 classes and degrees of theories (1972)

by Robert I Soare
Venue:Trans. Amer. Math. Soc