Chang, Chin-Liang <br/><br/>
Symbolic Logic and Mechanical Theorem Proving 

 - ACADEMIC PRESS  Elsevier  Legacy 
<br/><br/><label>ISBN: </label>9780080917283 
<br/><br/><label>Source: </label>EBOOK