Contribution à l'étude de l'objet des entiers naturels d'un topos élémentaire
Publications de l'Institut de recherche mathématiques de Rennes, Séminaires d'algèbre et logique, no. 2 (1978), article no. 1, 58 p.
Voir la notice de l'acte provenant de la source Numdam
@article{PSMIR_1978___2_A1_0,
author = {Coste, Marie-Fran\c{c}oise and Coste, Michel and Mahe, Louis},
title = {Contribution \`a l'\'etude de l'objet des entiers naturels d'un topos \'el\'ementaire},
journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
eid = {1},
pages = {1--58},
publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
number = {2},
year = {1978},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/PSMIR_1978___2_A1_0/}
}
TY - JOUR AU - Coste, Marie-Françoise AU - Coste, Michel AU - Mahe, Louis TI - Contribution à l'étude de l'objet des entiers naturels d'un topos élémentaire JO - Publications de l'Institut de recherche mathématiques de Rennes PY - 1978 SP - 1 EP - 58 IS - 2 PB - Département de Mathématiques et Informatique, Université de Rennes UR - http://geodesic.mathdoc.fr/item/PSMIR_1978___2_A1_0/ LA - fr ID - PSMIR_1978___2_A1_0 ER -
%0 Journal Article %A Coste, Marie-Françoise %A Coste, Michel %A Mahe, Louis %T Contribution à l'étude de l'objet des entiers naturels d'un topos élémentaire %J Publications de l'Institut de recherche mathématiques de Rennes %D 1978 %P 1-58 %N 2 %I Département de Mathématiques et Informatique, Université de Rennes %U http://geodesic.mathdoc.fr/item/PSMIR_1978___2_A1_0/ %G fr %F PSMIR_1978___2_A1_0
Coste, Marie-Françoise; Coste, Michel; Mahe, Louis. Contribution à l'étude de l'objet des entiers naturels d'un topos élémentaire. Publications de l'Institut de recherche mathématiques de Rennes, Séminaires d'algèbre et logique, no. 2 (1978), article no. 1, 58 p.. http://geodesic.mathdoc.fr/item/PSMIR_1978___2_A1_0/