TY  - GEN
AU  - Ben Nasr
TI  - Logique symbolique élémentaire 
T2  - Collection M
SN  - 9973948688
PY  - 2000///
CY  - Tunis
PB  - CPU
KW  - LOGIQUE . Calculs des prédicats
ER  -