TY  - BOOK
AU  -  Kalish,Donald
AU  -  Montague,Richard
TI  -  Logic : :  techniques of formal reasoning / 
SN  -  0155511807
U1  -  511.3 
PY  - 1964///
CY  -  New York : 
PB  -  Harcourt BraceJovanovich, Inc., 
KW  -  Logic, Symbolic and mathematical
N1  -  Includes bibliographical references (p. 341-345)
ER  -