Open Access
October 1979 Equational two axiom bases for Boolean algebras and some other lattice theories.
Bolesław Sobociński
Notre Dame J. Formal Logic 20(4): 865-875 (October 1979). DOI: 10.1305/ndjfl/1093882808
First Page PDF

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

Vol.20 • No. 4 • October 1979
Back to Top