Open Access
October 1976 A proof of Sobociński's conjecture concerning a certain set of lattice-theoretical formulas.
Thomas A. Sudkamp
Notre Dame J. Formal Logic 17(4): 615-616 (October 1976). DOI: 10.1305/ndjfl/1093887731
First Page PDF

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

Vol.17 • No. 4 • October 1976
Back to Top