Chang, Chin-Lian Symbolic logic and mechanical theorem proving / Chin-Lian Chang and Richard Char-Tung Lee - Boston : Academic Press, c1973. - xiii,331 p. : ill. ; 23 cm. - Computer Science Classics . Includes index. ISBN: 0121703509 LCCN: Subjects--Topical Terms: LogicSymbolic and mathematical LC Class. No.: QA9 / .C483 1973 Dewey Class. No.: 511.3 / C454s