Symbolic Logic and Mechanical Theorem Proving - Chang, Ching-Liang (1973)