Handbook of logic in computer science / 
Ed. by s. abramsky, dov m. gabbay, and t.s.e. maibaum 
 - volúmenes 
<br/><br/>Contenido: v. 1. background : mathematical structures -- v. 2. background, computational structures 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computadoras<br/>Lógica simbólica y matemática
<br/><br/><label>LC Class. No.: </label>QA76  / H339