TY  - JOUR
AU  - Perelman, Ch.
TI  - Logique formelle et logique informelle
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1981
SP  - 1
EP  - 7
IS  - 3
PB  - IREM Paris-Nord ; École Normale Supérieure
UR  - http://www.numdam.org/item/SPHM_1981___3_A1_0/
LA  - fr
ID  - SPHM_1981___3_A1_0
ER  -