Open Access
Summer 1988 Nonstandard connectives of intuitionistic propositional logic.
Michael Kaminski
Notre Dame J. Formal Logic 29(3): 309-331 (Summer 1988). DOI: 10.1305/ndjfl/1093637931
First Page PDF

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

Vol.29 • No. 3 • Summer 1988
Back to Top