Chang, Chin-lidng <br/><br/>
Symbolic logic and mechanical theorem proving / 

 -  1973. 
 - Computer science and applied mathematics,A series of monogra .