Translator Disclaimer
January 1981 The completeness of intuitionistic propositional calculus for its intended interpretation.
John P. Burgess
Notre Dame J. Formal Logic 22(1): 17-28 (January 1981). DOI: 10.1305/ndjfl/1093883336
First Page PDF

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

JOURNAL ARTICLE
12 PAGES


SHARE
Vol.22 • No. 1 • January 1981
Back to Top