AA.VV
El objetivo de este libro es dar apoyo a la docencia de elementosbásicos de la lógica matemática que normalmente se incluyen en losplanes de estudio típicos de titulaciones en informática. El libroincluye una colección de más de 300 enunciados de preguntas tipo testy ejercicios resueltos (capítulos del 1 al 9) y sin resolver(capítulos 10 y 11). Para una mayor profundidad teórica de los temas,incluye bibliografía.
