Lu, Zhong-Wan. <br/><br/>
Mathematical logic for computer science / 
by Lu Zhong Wan. 
 - Singapore :  World Scientific,  1989. 
 - 248 p. :  ill. ;  23 cm. 
<br/><br/>Includes index bibliography : p. 230-248. 
<br/><br/><label>ISBN: </label>9971502518 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing--Mathematics.<br/>Logic, Symbolic and mathematical.