Vista normal Vista MARC Vista ISBD

Handbook of logic in computer science / Ed. by s. abramsky, dov m. gabbay, and t.s.e. maibaum - volúmenes

Contenido: v. 1. background : mathematical structures -- v. 2. background, computational structures

Subjects--Topical Terms:
Computadoras
Lógica simbólica y matemática

LC Class. No.: QA76 / H339