M. Downward <br/><br/>
Logic And Declarative Language 

 -  Taylor and Francis  1998 
<br/><br/><label>ISBN: </label>9780203211991 
<br/><br/><label>Source: </label>EBOOK