Open Access
January 1975 Axiomatization of fragments of ${\rm S}5$.
Thomas W. Scharle
Notre Dame J. Formal Logic 16(1): 45-70 (January 1975). DOI: 10.1305/ndjfl/1093891611
First Page PDF

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

Vol.16 • No. 1 • January 1975
Back to Top