Logique arithmétique
Séminaire de Philosophie et Mathématiques, De l'introduction transfinie à la descente infinie, no. 7 (1987), pp. 1-23. 
@article{SPHM_1987___7_A1_0,
     author = {Gauthier, Yves},
     title = {Logique arithm\'etique},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     pages = {1--23},
     publisher = {\'Ecole Normale Sup\'erieure},
     number = {7},
     year = {1987},
     language = {fr},
     url = {http://archive.numdam.org/item/SPHM_1987___7_A1_0/}
}
TY  - JOUR
AU  - Gauthier, Yves
TI  - Logique arithmétique
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1987
SP  - 1
EP  - 23
IS  - 7
PB  - École Normale Supérieure
UR  - http://archive.numdam.org/item/SPHM_1987___7_A1_0/
LA  - fr
ID  - SPHM_1987___7_A1_0
ER  - 
%0 Journal Article
%A Gauthier, Yves
%T Logique arithmétique
%J Séminaire de Philosophie et Mathématiques
%D 1987
%P 1-23
%N 7
%I École Normale Supérieure
%U http://archive.numdam.org/item/SPHM_1987___7_A1_0/
%G fr
%F SPHM_1987___7_A1_0
Gauthier, Yves. Logique arithmétique. Séminaire de Philosophie et Mathématiques, De l'introduction transfinie à la descente infinie, no. 7 (1987), pp. 1-23. http://archive.numdam.org/item/SPHM_1987___7_A1_0/