Translator Disclaimer
April 1971 A tableau proof method admitting the empty domain.
Melvin Fitting
Notre Dame J. Formal Logic 12(2): 219-224 (April 1971). DOI: 10.1305/ndjfl/1093894222
First Page PDF

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

JOURNAL ARTICLE
6 PAGES


SHARE
Vol.12 • No. 2 • April 1971
Back to Top