Apt, Krazysztof R. and Turini, Franco <br/><br/>
Meta-logics and logic programming 

 - Cambridge  ; The Mit Press  , 1995 
 - xiv,339p. 
<br/><br/><label>ISBN: </label>0262011522  1640 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical Logic<br/>Mathematics
<br/><br/><label>Dewey Class. No.: </label>511.3  / APT