Table of contents

Séminaires d'algèbre et logique

Contribution à l'étude de l'objet des entiers naturels d'un topos élémentaire

Coste, Marie-Françoise; Coste, Michel; Mahe, Louis