Geodesic
The uniqueness of finite division for recursive equivalence types.
Mathematische Zeitschrift, Tome 75 (1961), pp. 3-7 Cet article a éte moissonné depuis la source European Digital Mathematics Library

Voir la notice de l'article

Mots-clés : foundations, philosophy and logic of mathematics 
@article{MZ_1961__75_169898,
     author = {Richard Friedberg},
     title = {The uniqueness of finite division for recursive equivalence types.},
     journal = {Mathematische Zeitschrift},
     pages = {3--7},
     year = {1961},
     volume = {75},
     zbl = {0093.01203},
     url = {http://geodesic.mathdoc.fr/item/MZ_1961__75_169898/}
}
TY  - JOUR
AU  - Richard Friedberg
TI  - The uniqueness of finite division for recursive equivalence types.
JO  - Mathematische Zeitschrift
PY  - 1961
SP  - 3
EP  - 7
VL  - 75
UR  - http://geodesic.mathdoc.fr/item/MZ_1961__75_169898/
ID  - MZ_1961__75_169898
ER  - 
%0 Journal Article
%A Richard Friedberg
%T The uniqueness of finite division for recursive equivalence types.
%J Mathematische Zeitschrift
%D 1961
%P 3-7
%V 75
%U http://geodesic.mathdoc.fr/item/MZ_1961__75_169898/
%F MZ_1961__75_169898
Richard Friedberg. The uniqueness of finite division for recursive equivalence types.. Mathematische Zeitschrift, Tome 75 (1961), pp. 3-7. http://geodesic.mathdoc.fr/item/MZ_1961__75_169898/