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