Les algèbres de Heyting-Brouwer et de Ł ukasiewicz trivalentes.
Luisa Iturrioz
Source: Notre Dame J. Formal Logic Volume 17, Number 1
(1976), 119-126.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093887429
Zentralblatt MATH identifier: 0299.02072
Mathematical Reviews number (MathSciNet): MR0429549
Digital Object Identifier: doi:10.1305/ndjfl/1093887429
Notre Dame Journal of Formal Logic
