Translator Disclaimer
January 1972 Non-recursiveness of the set of finite sets of equations whose theories are one-based.
Douglas D. Smith
Notre Dame J. Formal Logic 13(1): 135-138 (January 1972). DOI: 10.1305/ndjfl/1093894637
First Page PDF

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

JOURNAL ARTICLE
4 PAGES


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