Open Access
January 1971 Gentzen-like systems for partial propositional calculi. I.
E. William Chapin Jr.
Notre Dame J. Formal Logic 12(1): 75-80 (January 1971). DOI: 10.1305/ndjfl/1093894153
First Page PDF

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

Vol.12 • No. 1 • January 1971
Back to Top