Lu, Zhongwan. <br/><br/>
Mathematical logic for computer science / 
Lu Zhongwan 
 - 2nd ed. 
 - Singapore :   World Scientific,   c1998. 
 - 244 p. ill. ;  22 cm. 
<br/><br/><label>ISBN: </label>9789810230913 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing--Mathematics.    <br/> Logic, Symbolic and mathematical.
<br/><br/><label>Dewey Class. No.: </label>004.0151  / LUZ