@article{1240432466, author = {HANAZAWA, Masazumi}, title = {A theory of ordinal numbers with Ackermann's schema}, journal = {J. Math. Soc. Japan}, volume = {30}, number = {4}, year = {1978}, pages = { 413-432}, language = {en}, url = {http://dml.mathdoc.fr/item/1240432466} }
HANAZAWA, Masazumi. A theory of ordinal numbers with Ackermann's schema. J. Math. Soc. Japan, Tome 30 (1978) no. 4, pp. 413-432. http://gdmltest.u-ga.fr/item/1240432466/