The uniqueness of finite division for recursive equivalence types.
Friedberg, Richard
Mathematische Zeitschrift, Tome 76 (1961), p. 3-7 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1961-01-01
EUDML-ID : urn:eudml:doc:169898 
@article{GDZPPN002390027,
     title = {The uniqueness of finite division for recursive equivalence types.},
     journal = {Mathematische Zeitschrift},
     volume = {76},
     year = {1961},
     pages = {3-7},
     zbl = {0093.01203},
     url = {http://dml.mathdoc.fr/item/GDZPPN002390027}
}

Friedberg, Richard. The uniqueness of finite division for recursive equivalence types.. Mathematische Zeitschrift, Tome 76 (1961) pp. 3-7. http://gdmltest.u-ga.fr/item/GDZPPN002390027/