Open Access
October 1977 Degrees of unsolvability and strong forms of $\Lambda_R+\Lambda_R\not\subseteq \Lambda_R$.
Thomas G. McLaughlin
Notre Dame J. Formal Logic 18(4): 545-566 (October 1977). DOI: 10.1305/ndjfl/1093888120
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.18 • No. 4 • October 1977
Back to Top