TY  - BOOK
AU  - KALISH DONALD
TI  - Logic Techniques of Formal Reasoning
AV  - BC 71  .K3 1964
PY  - 1964///
CY  - New York
PB  - HARCOURT BRACE & WORLD IN
KW  - Logic
KW  - Symbolic and Mathematical
ER  -