TY  - GEN
AU  - Kalish,Donald
AU  - Montague,Richard
TI  - Logic: techniques of formal reasoning
AV  - BC135 
PY  - 1964///
CY  - New York
PB  - Harcourt, Brace & World, Inc.
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. [341]-345) and indexes
ER  -