Open Access
July 1971 A proper subsystem of ${\rm S}4.{\rm O}4.$.
Bolesław Sobociński
Notre Dame J. Formal Logic 12(3): 381-384 (July 1971). DOI: 10.1305/ndjfl/1093894303
First Page PDF

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

Vol.12 • No. 3 • July 1971
Back to Top