Translator Disclaimer
July 1976 A deduction system for the full first-order predicate logic.
Hubert H. Schneider
Notre Dame J. Formal Logic 17(3): 439-445 (July 1976). DOI: 10.1305/ndjfl/1093887638
First Page PDF

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

JOURNAL ARTICLE
7 PAGES


SHARE
Vol.17 • No. 3 • July 1976
Back to Top