TY  - GEN
AU  - Kalish, Donald
TI  - LOGIC techniques of formal reasoning
SN  - 0-15-551181-5
PY  - 1980///
CY  - San Diego
PB  - Harcourt Brace Jovanovich
KW  - COMPUTER METATHEORY-FORMAL LOGIC
KW  - COMPUTER PROGRAMMING-ALGORITHMS
ER  -