@article{1093887834, author = {Hickman, John L.}, title = {Regressive order-types.}, journal = {Notre Dame J. Formal Logic}, volume = {18}, number = {1}, year = {1977}, pages = { 169-174}, language = {en}, url = {http://dml.mathdoc.fr/item/1093887834} }
Hickman, John L. Regressive order-types.. Notre Dame J. Formal Logic, Tome 18 (1977) no. 1, pp. 169-174. http://gdmltest.u-ga.fr/item/1093887834/