Open Access
1959 An investigation on the logical structure of mathematics. IX. Deductions in the natural-number theory $T\sb1\,(N)$
Sigekatu Kuroda
Osaka Math. J. 11(1): 7-42 (1959).
First Page PDF

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

Vol.11 • No. 1 • 1959
Back to Top