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