Kalish, Donald. Logic techniques of formal reasoning [by] Donald Kalish [and] Richard Montague. - New York Harcourt, Brace & World [1964] - x, 350 p. 24 cm. Bibliography: p. [341]-345. LCCN: 64010046 Subjects--Topical Terms: Logic, Symbolic and mathematical LC Class. No.: BC135 / .K18 Dewey Class. No.: 164