TY  - BOOK
AU  - LEBLANC, Hugues
TI  - Techniques of deductive inference
U1  - 164 L39T 
PY  - 1966///
PB  - Englewood Cliffs, U.S.
KW  - LOGIC, SYMBOLIC AND MATHEMATICAL
ER  -