no. 1
Les démonstrations de cohérence de l'arithmétique
Séminaire de Philosophie et Mathématiques, Les démonstrations de cohérence de l'arithmétique, no. 1 (1980), pp. 1-6 
@article{SPHM_1980___1_A1_0,
     author = {Girard, Jean-Yves},
     title = {Les d\'emonstrations de coh\'erence de l'arithm\'etique},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     pages = {1--6},
     year = {1980},
     publisher = {IREM Paris-Nord~; \'Ecole Normale Sup\'erieure},
     number = {1},
     language = {fr},
     url = {https://numdam.org/item/SPHM_1980___1_A1_0/}
}
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  - https://numdam.org/item/SPHM_1980___1_A1_0/
LA  - fr
ID  - SPHM_1980___1_A1_0
ER  - 
%0 Journal Article
%A Girard, Jean-Yves
%T Les démonstrations de cohérence de l'arithmétique
%J Séminaire de Philosophie et Mathématiques
%D 1980
%P 1-6
%N 1
%I IREM Paris-Nord ; École Normale Supérieure
%U https://numdam.org/item/SPHM_1980___1_A1_0/
%G fr
%F SPHM_1980___1_A1_0
Girard, Jean-Yves. Les démonstrations de cohérence de l'arithmétique. Séminaire de Philosophie et Mathématiques, Les démonstrations de cohérence de l'arithmétique, no. 1 (1980), pp. 1-6. https://numdam.org/item/SPHM_1980___1_A1_0/