Symbolic logic and mechanical theorem proving - Chang, Chin-Liang 1937- (Computer science classics, 1987)