Zhongwan, Lu  . <br/><br/>
Mathematical logic for computer science /  
by Lu Zhongwan. 
 - Singapore :   World Scientific Publishing Co. Pte. Ltd. ,   1989 
 - 248p :  
<br/><br/><label>ISBN: </label>9971-50-251-8 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>BV(B)  / M9