TY  - BOOK
AU  - Kalish D
TI  - Logic techniques of formal reasoning
AV  - BC 71  K3 1964
PY  - 1964///
CY  - Harcourt Brace
PB  - Chicago
ER  -