Open Access
July 1985 Second-order quantifiers and the complexity of theories.
J. T. Baldwin, S. Shelah
Notre Dame J. Formal Logic 26(3): 229-303 (July 1985). DOI: 10.1305/ndjfl/1093870870
First Page PDF

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

Vol.26 • No. 3 • July 1985
Back to Top