Open Access
Spring 1988 The Lindenbaum construction and decidability.
Stewart Shapiro
Notre Dame J. Formal Logic 29(2): 208-213 (Spring 1988). DOI: 10.1305/ndjfl/1093637870
First Page PDF

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

Vol.29 • No. 2 • Spring 1988
Back to Top