Lógica Matemática para informáticos : ejercicios resueltos - Hortalá González, Teresa (Prentice práctica)