Jörg H. Siekmann <br/><br/>
Computational Logic 

 -  North-Holland  2014 
<br/><br/><label>ISBN: </label>9780444516244 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics 2014