TY  - JOUR
AU  - Gauthier, Yvon
TI  - Hilbert et la logique interne des mathématiques
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1993
SP  - 1
EP  - 15
IS  - 6
PB  - IREM Paris-Nord
UR  - http://www.numdam.org/item/SPHM_1993___6_A1_0/
LA  - fr
ID  - SPHM_1993___6_A1_0
ER  -