TY  - GEN
AU  - SALEM
TI  - Introduction à la logique formelle et symbolique
T2  - Nathan Université
SN  - 2-09-190519-4
PY  - 1998///
CY  - Paris
PB  - Nathan
KW  - LOGIQUE
N2  - Bibliogr. p.141; Glossaire p.107-118
ER  -