Liste des citations dans Numdam pour : Topological properties of the real numbers object in a topos

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 17 (1976), p. 295-326 / Harvested from Numdam

---