Symbolic Logic and Mechanical Theorem Proving - Chang, Chin-Liang (ACADEMIC PRESS Elsevier)