Open Access
1965 A note on the axiomatization of Rubin's system $(S)$.
John Thomas Canty
Notre Dame J. Formal Logic 6(3): 190-192 (1965). DOI: 10.1305/ndjfl/1093958256
First Page PDF

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

Vol.6 • No. 3 • 1965
Back to Top