TY  - BOOK
AU  - Robert Pierre
TI  - Langage et theories dans les mathematiques nouvelles
U1  - 511.3=4 
PY  - 1972///
CY  - Paris
PB  - Editions Albin Michel
KW  - Mathematical logic
ER  -