Degrees of nonrecursive presentability (1973)

by L J Feiner
Venue:Proc. Amer. Math. Soc