Open Access
Translator Disclaimer
July 1971 Matrix satisfiability and axiomatization.
Robert Ackermann
Notre Dame J. Formal Logic 12(3): 309-321 (July 1971). DOI: 10.1305/ndjfl/1093894294
First Page PDF

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

JOURNAL ARTICLE
13 PAGES


SHARE
Vol.12 • No. 3 • July 1971
Back to Top