Weak recursive degrees and a problem of Spector, in Recursion Theory and Complexity (1999)

by Shamil Ishmukhametov
Venue:ω-C.E. DEGREES AND BOUNDING CRITICAL TRIPLES 23