First-order theory of the degrees of recursive unsolvability

Pages 121-139 from Volume 105 (1977), Issue 1 by Stephen G. Simpson

No abstract available for this article

DOI
https://doi.org/10.2307/1971028
MR
0432435
zbMATH
0349.02035

Authors

Stephen G. Simpson