00957nam a22002658a 4500 1/8436 870305c19871973mau b 00110 eng 0121703509 (alk. paper) 8754 DLC GR-PeUP 511.3'219 CH Chang, Chin-Liang, 1937- Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee. Boston : Academic Press, 1987, c1973. xii331 p.: fig.; 24 cm. Computer Science Classics ; Bibliography: p. Includes index. Logic, Symbolic and mathematical. Automatic theorem proving. Artificial intelligence. Lee, Richard Char-Tung, 1939- Computer Science Classics. INST UNIPILB MAIN 20040709 511.3'219 CH 00104562 00104562 LOAN 0 1 /webopac/covers/03/8754_0121703509.jpg (alk. paper)