Open Access
January 1972 An abbreviation of Croisot's axiom-system for distributive lattices with $I$.
Bolesław Sobociński
Notre Dame J. Formal Logic 13(1): 139-141 (January 1972). DOI: 10.1305/ndjfl/1093894638
First Page PDF

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

Vol.13 • No. 1 • January 1972
Back to Top