Parcourir par
Collections
Sources
Geodesic
Parcourir par
Collections
Sources
Séminaire de Philosophie et Mathématiques
Année 1989
no. 2
Précédent
Suivant
L'identité en mathématiques constructives
Loi Maurice
;
Thom René
;
Cartier Pierre
;
Caveing Maurice
Sommaire
L'identité en mathématiques constructives
Van Dalen, Dirk
p. 1-16
