Translator Disclaimer
Fall 1991 On the $\Sigma^0_1$-conservativity of $\Sigma^0_1$-completeness.
Albert Visser
Notre Dame J. Formal Logic 32(4): 554-561 (Fall 1991). DOI: 10.1305/ndjfl/1093635927
First Page PDF

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

JOURNAL ARTICLE
8 PAGES


SHARE
Vol.32 • No. 4 • Fall 1991
Back to Top