Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact customer_support@projecteuclid.org with any questions.
View Project Euclid Privacy Policy
Sigekatu Kuroda "An investigation on the logical structure of mathematics. IX. Deductions in the natural-number theory $T\sb1\,(N)$," Osaka Mathematical Journal, Osaka Math. J. 11(1), 7-42, (1959)