TY  - GEN
AU  - DOPP, Joseph.
TI  - Notions de logique formelle
AV  - BC 71 .D6 
PY  - 1965///
CY  - Louvain
PB  - Publications universitaires de louvain
KW  - Logic
ER  -