Andrews, James H <br/><br/>
Logic Programming   Operational Semantics and Proof Theory 

 - New York  Cambridge University  1992 
 - 104p 
<br/><br/> includes index and biblioraphy 
<br/><br/><label>ISBN: </label>0521432197     0 
<br/><br/><label>Dewey Class. No.: </label>Q30  / AN261