@article{1183738074, author = {Rose, H. E.}, title = {$\mathscr{E}^\alpha$-Arithmetic and Transfinite Induction}, journal = {J. Symbolic Logic}, volume = {37}, number = {1}, year = {1972}, pages = { 19-30}, language = {en}, url = {http://dml.mathdoc.fr/item/1183738074} }
Rose, H. E. $\mathscr{E}^\alpha$-Arithmetic and Transfinite Induction. J. Symbolic Logic, Tome 37 (1972) no. 1, pp. 19-30. http://gdmltest.u-ga.fr/item/1183738074/