TY  - JOUR
AU  - Van Dalen, Dirk
TI  - L'identité en mathématiques constructives
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1989
SP  - 1
EP  - 16
IS  - 2
PB  - IREM Paris-Nord
UR  - http://www.numdam.org/item/SPHM_1989___2_A1_0/
LA  - fr
ID  - SPHM_1989___2_A1_0
ER  -