Abramsky, S. <br/><br/>
Handbook of Logic in Computer Science / S. Abramsky 

 - U.S.A. : Oxford 
 - 827 p. / 24 cm. 
<br/><br/> Include Index & References. 
<br/><br/><label>ISBN: </label>0-19-853735-2 
<br/><br/><label>Subjects--Topical Terms: </label><br/>1. COMPUTADORAS \ 2. LÓGICA SÍMBOLICA Y MATEMÁTICA
<br/><br/><label>LC Class. No.: </label>QA76 H339 
<br/><br/><label>Dewey Class. No.: </label>001.64 A538h