Symbolic logic and mechanical theorem proving - Chang Chin-Lang; Lee Richard Char-Tung (Boston Academic Press, 1973)
Keywords: Automatic theorem Problem; Logic symbolic and mathematical