TY  - BOOK
AU  - Leblanc,Hugues
TI  - Techniques of deductive inference
AV  - BC135 L36
PY  - 1966///
CY  - Englewood cliffs, new jersey
PB  - Prentice Hall
KW  - Lógica simbólica y matemática
ER  -