Symbolic Logic And Mechanical Theorem Proving by Chin-Liang Chang & Richard C. Lee