KALISH DONALD Logic Techniques of Formal Reasoning/ - New York HARCOURT BRACE & WORLD IN 1964 - P350 LCCN: BC 71 .K3 1964 Subjects--Topical Terms: LogicSymbolic and Mathematical LC Class. No.: BC 71 / .K3 1964