Π 0 1 classes and degrees of theories (1979)

by R I Soare
Venue:Transactions of the Amererican Mathematical Society