Computational Logic <br/><br/>
Computational logic 

 - 1st 
 - Berlin  Springer  1998 
 - 8,444p p. 
<br/><br/><label>ISBN: </label>3-540-64589-6 
<br/><br/><label>Subjects--Index Terms: </label>Computer logic