TY  - BOOK
AU  - Leresche, G.
TI  - Introduction mathematique a la logique
PY  - 1976///
CY  - Lausanne
PB  - Spes S.A
ER  -