Es un libro de texto dedicado al estudio de la lógica simbólica elemental. No presupone familiaridad alguna con la lógica, las matemáticas o la filosofía, y se ha hecho un esfuerzo deliberado por adaptarlo a los intereses de los estudiantes provenientes de las más diversas disciplinas. Al mismo tiempo, los conceptos centrales son expuestos de una manera precisa y rigurosa, sin ocultar los detalles y problemas técnicos y filosóficos que hacen de la lógica un área de estudio interesante en sí misma.
El libro está dividido en tres partes. La primera se ocupa de la lógica proposicional, la segunda de la lógica de primer orden y la tercera de la lógica modal proposicional. Los tres temas se estudian semánticamente utilizando árboles de verdad, y sintéticamente a través de sistemas de deducción natural. Al final de cada sección hay numerosos ejercicios de práctica, la mitad de los cuales son resueltos en el apéndice. El texto está diseñado para un curso de un año de duración y permite gran flexibilidad en el diseño del mismo.
