El presente manual incluye un capítulo sobre lógica proposicional, otro sobre proposicional modal, y presenta una introducción - a la vez accesible y conceptualmente rigurosa - de la lógica de predicados. El libro incluye también ejercicios de diferente nivel de dificultad en cada uno de los capítulos.