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 des séminaires de mathématiques et informatique de Rennes
PY  - 1978
SP  - 1
EP  - 58
IS  - 2
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://archive.numdam.org/item/PSMIR_1978___2_A1_0/
LA  - fr
ID  - PSMIR_1978___2_A1_0
ER  -