Lógica matemática para informáticos

Lógica matemática para informáticos : ejercicios resueltos / Teresa Hortalá González... [et al.]. -- Madrid : Pearson, 2008. -- 390  p. : il.  [511.3 L832m].

Lógica matemática - Problemas, ejercicios, etc. / Algebra booleana - Problemas, ejercicios, etc.