Leary, Christopher C.  1957- <br/><br/>
A friendly introduction to mathematical logic / 
Christopher C. Leary 
 - Upper Saddle River, N.J. :  Prentice Hall,  c2002 
 - 218 p. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0130107050 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER LOGIC<br/>LOGIC, SYMBOLIC AND MATHEMATICAL
<br/><br/><label>LC Class. No.: </label>QA76.9 .L63  / L427F