Symbolic logic and mechanical theorem proving - Chang, Chin-Liang, 1937- (Academic Press, 1987)
Includes index.