Fitting, Melvin. <br/><br/>
First-order logic and automated theorem proving /  
Melvin Fitting. 
 - New York :   Springer-Verlag ,   1990. 
 - xv,244p. :   figures ;   23cm .  
 - Tezts and monographs in computer science,       ; .
 - Tezts and monographs in computer science,       ; .
<br/><br/>NULL 
<br/><br/><label>ISBN: </label> Rs. 68.00 (Binding) 
<br/><br/><label>Subjects--Index Terms: </label>MATHEMATICAL LOGIC 
<br/><br/><label>Dewey Class. No.: </label>B66  / BAN/F