TY  - GEN
AU  - Ben-Ari, Mordechai
TI  - Mathematical logic for computer science
SN  - 1852333197
PY  - 2001///
CY  - London, Berlin, Paris
PB  - Springer
KW  - Informatique
KW  - Mathématiques
KW  - Logique informatique
KW  - Logique symbolique et mathématique
KW  - 004.16 Logique mathématique
ER  -