TY  - JOUR
AU  - Girard, Jean-Yves
TI  - Les démonstrations de cohérence de l'arithmétique
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1980
SP  - 1
EP  - 6
IS  - 1
PB  - IREM Paris-Nord ; École Normale Supérieure
UR  - http://www.numdam.org/item/SPHM_1980___1_A1_0/
LA  - fr
ID  - SPHM_1980___1_A1_0
ER  -