Symbolic logic and mechanical theorem proving - Chang, Chin-Liang, 1937-; Lee, Richard Char-Tung, 1939- (Boston : Academic Press, 1987)
Bibliography: p.
Includes index.
Keywords: Logic, Symbolic and mathematical; Automatic theorem proving; Artificial intelligence