Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots-clés
Plein texte
Précédent
Séminaire de Philosophie et Mathématiques
Année 1989
no. 2
Suivant
L'identité en mathématiques constructives
Loi Maurice
;
Thom René
;
Cartier Pierre
;
Caveing Maurice
(éd.)
Sommaire
L'identité en mathématiques constructives
Van Dalen, Dirk
p. 1-16