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://www.numdam.org/item/SPHM_1987___7_A1_0/
LA  - fr
ID  - SPHM_1987___7_A1_0
ER  -