Andrews, James H. <br/><br/>
Logic programming :  operational semantics and proof theory / 
James H. Andrews. 
 - New York :  Cambridge University Press,  2004. 
 - xi, 104 p. :  ill. ;  25 cm. 
 - Distinguished dissertations in computer science .
<br/><br/> GB92-03126 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>052160754X 9780521607544 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming.<br/>Programming languages (Electronic computers)--Semantics.<br/>Automatic theorem proving.
<br/><br/><label>LC Class. No.: </label>QA76.63  / .A375 2004 
<br/><br/><label>Dewey Class. No.: </label>005.131  / /AND