TY  - JOUR
AU  - Wallet, Guy
TI  - Signification et démonstration
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1992
SP  - 1
EP  - 10
IS  - 8
PB  - IREM Paris-Nord
UR  - http://www.numdam.org/item/SPHM_1992___8_A1_0/
LA  - fr
ID  - SPHM_1992___8_A1_0
ER  -