Open Access
1961 Von Wright-Anderson's decision procedures for Lewis's systems $S2$ånd $S3$
Masao Ohnishi
Osaka Math. J. 13(1): 139-142 (1961).
First Page PDF

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

Vol.13 • No. 1 • 1961
Back to Top