Separating minimal, intuitionist, and classical logic.
David Meredith
Source: Notre Dame J. Formal Logic Volume 24, Number 4
(1983), 485-490.
First Page:
Show
Hide
Primary Subjects:
03B20
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093870451
Zentralblatt MATH identifier: 0476.03021
Mathematical Reviews number (MathSciNet): MR717909
Digital Object Identifier: doi:10.1305/ndjfl/1093870451
Notre Dame Journal of Formal Logic
