A final note on S\(1^ 0\) and the Brouwerian axioms

From MaRDI portal

Publication:2395195

Jump to:navigation, search

DOI10.1305/ndjfl/1093957582zbMath0131.24509OpenAlexW2057515027WikidataQ114598184 ScholiaQ114598184MaRDI QIDQ2395195

Publication date: 1963

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093957582

zbMATH Keywords

mathematical logic

Related Items

Algebraic semantics for modal logics I

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2395195&oldid=15029447"