Moschovakis,Y.N. <br/><br/>
Logic from computer science / 
Moschovakis,Y.N. 
 - New York:  Springer,  1992. 
 - xi,608p;25cm 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0387976671 
<br/><br/><label>Dewey Class. No.: </label>511.3 LOG