Ben-Ari, M.,  1948- <br/><br/>
Mathematical logic for computer science / 
M. Ben-Ari. 
 - New York :  Prentice Hall,  1993. 
 - xi, 305 p. :  ill. ;  24 cm. 
 - Prentice Hall international series in computer science .
<br/><br/>Includes bibliographical references (p. 274-277) and index. 
<br/><br/><label>ISBN: </label>013564139X   $40.00 
<br/><br/><label>LCCN: </label>92022640  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.
<br/><br/><label>LC Class. No.: </label>QA9  / .B43 1993 
<br/><br/><label>Dewey Class. No.: </label>511.3