TY  - GEN
AU  - Delessert, André
AU  - 
TI  - Introduction à la logique
SN  - 2-88074-153-X
CY  - Lausane : 
KW  - 51 - Mathematiques
KW  - 5 - SCIENCES EXACTES ET NATURELLES
ER  -