Translator Disclaimer
Winter 1990 A simplification of the completeness proofs for Guaspari and Solovay's ${\rm R}$.
Frans Voorbraak
Notre Dame J. Formal Logic 31(1): 44-63 (Winter 1990). DOI: 10.1305/ndjfl/1093635332
First Page PDF

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

JOURNAL ARTICLE
20 PAGES


SHARE
Vol.31 • No. 1 • Winter 1990
Back to Top