Lu, Zhongwan, <br/><br/>
Mathematical logic for computer science / 
Lu Zhongwan 
 - 2nd ed. 
 - xi, 244 páginas 
 - Series in computer science  47 .
<br/><br/><label>ISBN: </label>9810230915 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica simbólica y matemática<br/>Matemáticas computacionales
<br/><br/><label>LC Class. No.: </label>QA76.9M35  / L83 1998