Esta obra de dos volúmenes cierra la brecha entre las exposiciones introductorias de la lógica o la teoría de conjuntos, por un lado, y la literatura de investigación, por el otro. Se puede utilizar como texto en un curso avanzado de pregrado o de posgrado inicial en matemáticas, ciencias de la computación o filosofía. Los volúmenes están escritos en un estilo de conferencia conversacional fácil de usar que los hace igualmente efectivos para el autoaprendizaje o el uso en clase. El volumen 1 incluye técnicas de demostración formal, una sección sobre aplicaciones de la compacidad (incluido el análisis no estándar), una generosa dosis de computabilidad y su relación con el fenómeno de incompletitud, y la primera presentación de una demostración completa de la segunda incompletitud de Gödel desde el teorema de Grundlagen de Hilbert y Bernay. Idioma: Inglés