Gallier, Jean H.. <br/><br/>
Logic for Computer Science: Foundations of Automatic Theorem Proving /  

 - 1st ed /  
 - New York-10158 :   John Wiley & Sons, Inc. ,   1987 
 - p511 :  
<br/><br/><label>ISBN: </label>0-471-61546-3 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science
<br/><br/><label>Dewey Class. No.: </label>Bv:(R1)  / M7