TY  - BOOK
AU  - Leblanc Hugues
TI  - Techniques of deductive inference
U1  - 164 
PY  - 1966///
CY  - Englewood Cliffs
PB  - Prentice-Hall
KW  - Mathematical logic
KW  - Symbolic logic
ER  -