Open Access
1970 On reducibility of provability in the primitive logic [{\rm LO}]
Jiro Ito
Nagoya Math. J. 37: 137-144 (1970).
First Page PDF

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

Vol.37 • 1970
Back to Top