@article{1183738232, author = {Howard, W. A.}, title = {A System of Abstract Constructive Ordinals}, journal = {J. Symbolic Logic}, volume = {37}, number = {1}, year = {1972}, pages = { 355-374}, language = {en}, url = {http://dml.mathdoc.fr/item/1183738232} }
Howard, W. A. A System of Abstract Constructive Ordinals. J. Symbolic Logic, Tome 37 (1972) no. 1, pp. 355-374. http://gdmltest.u-ga.fr/item/1183738232/