Open Access
Winter 1989 The elementary theory of the natural lattice is finitely axiomatizable.
Patrick Cegielski
Notre Dame J. Formal Logic 30(1): 138-150 (Winter 1989). DOI: 10.1305/ndjfl/1093635001
First Page PDF

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

Vol.30 • No. 1 • Winter 1989
Back to Top