TY  - BOOK
AU  - CONDAMINE,MARCEL
TI  - LANGAGE LOGIQUE DEMONSTRATIONS ET VERITE MATHEMATIQUE / 
U1  - 510.3 
PY  - 1996///
CY  - [S.N] : 
PB  - EDITIONS AGUER ، 
KW  - MATHEMATICS
KW  - MATHEMATICAL LOGIC
ER  -