Symbolic logic and mechanical theorem proving - Chang, Chin-Liang.; Lee, Richard CharTung, 1939- (San Diego : Academic Press, 1987)
Includes bibliographical references (p. 309-324) and index.
Keywords: Logic Symbolic and mathematical