SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING - CHANG,CHIN-LIANG, LEE,RICHARD CHAR-TUNG (AP NEW YORK, 1973)