${}$

Lógica Simbólica

para Informáticos

Pascual Julián Iranzo
Departamento de Informática
Universidad de Castilla-La Mancha

EDITORIAL RA-MA

$\mbox{}$