Translator Disclaimer
1963 On not strengthening intuitionistic logic.
N. D. Belnap Jr., H. Leblanc, R. H. Thomason
Notre Dame J. Formal Logic 4(4): 313-320 (1963). DOI: 10.1305/ndjfl/1093957658
First Page PDF

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

JOURNAL ARTICLE
8 PAGES


SHARE
Vol.4 • No. 4 • 1963
Back to Top