Open Access
1960 Decision procedure for modal sentential calculus ${\rm S}3$
Kazuo Matsumoto
Osaka Math. J. 12(1): 167-175 (1960).
First Page PDF

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

Vol.12 • No. 1 • 1960
Back to Top