The independence of “Huntington’s axioms” for boolean algebra
From MaRDI portal
Publication:4154863
DOI10.2307/3617622zbMATH Open0375.02047OpenAlexW2797380988WikidataQ114587472 ScholiaQ114587472MaRDI QIDQ4154863FDOQ4154863
Authors: F. Gerrish
Publication date: 1978
Published in: The Mathematical Gazette (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/3617622
Structure theory of Boolean algebras (06E05) General logic (03B99) Proof theory and constructive mathematics (03F99)
This page was built for publication: The independence of “Huntington’s axioms” for boolean algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4154863)