Translator Disclaimer
Winter 1990 Gentzenizing Schroeder-Heister's natural extension of natural deduction.
Arnon Avron
Notre Dame J. Formal Logic 31(1): 127-135 (Winter 1990). DOI: 10.1305/ndjfl/1093635337
First Page PDF

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

JOURNAL ARTICLE
9 PAGES


SHARE
Vol.31 • No. 1 • Winter 1990
Back to Top