Lógica y Estructura- Dirk van Dalen

Esta impresión revisada del texto popular de Van Dalen mejora un tratamiento ya aclamado de la lógica clásica elemental. Se han adoptado sugerencias y comentarios de los lectores, se han corregido una serie de errores y se han simplificado algunas definiciones. La cuarta edición añade un capítulo sobre la incompletitud de la aritmética, e información útil sobre la teoría de la recursión básica y la aritmética. En resumen, enseña la lógica a los matemáticos en un estilo claro y relajado.