TY  - GEN
AU  - Gauthier,Yvon
TI  - La logique interne 
T2  - Mathesis
SN  - 2711610489 
AV  - BC135 
U1  - 160 
PY  - 1991///
CY  - Paris 
PB  - Vrin
KW  - Logic, Symbolic and mathematical
N1  - Cover title: De la logique interne
ER  -