Open Access
October, 1977 A second order theory of ordinal numbers with Ackermann-type reflection schema
Masazumi HANAZAWA
J. Math. Soc. Japan 29(4): 745-753 (October, 1977). DOI: 10.2969/jmsj/02940745
First Page PDF

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

Vol.29 • No. 4 • October, 1977
Back to Top