Open Access
October, 1961 On the inductive definition with quantifiers of second order
Gaisi TAKEUTI
J. Math. Soc. Japan 13(4): 333-341 (October, 1961). DOI: 10.2969/jmsj/01340333
First Page PDF

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

Vol.13 • No. 4 • October, 1961
Back to Top