@article{1183736308, author = {Ferguson, Don C.}, title = {Infinite Products of Recursive Equivalence Types}, journal = {J. Symbolic Logic}, volume = {33}, number = {1}, year = {1968}, pages = { 221-230}, language = {en}, url = {http://dml.mathdoc.fr/item/1183736308} }
Ferguson, Don C. Infinite Products of Recursive Equivalence Types. J. Symbolic Logic, Tome 33 (1968) no. 1, pp. 221-230. http://gdmltest.u-ga.fr/item/1183736308/