Describir: Lógica matemática para informáticos ejercicios resueltos Teresa Hortalá González [et. al.]