Este livro apresenta os principais tópicos de lógica clássica elementar, incluindo lógica proposicional, lógica de primeira ordem e fundamentos da aritmética. Contém provas de consistência, correção e completude, teorema de Church, indecidibilidade da lógica de primeira ordem, teoremas de incompletude de Gödel e prova de Gentzen para consistência da aritmética. Indicado para estudantes de Matemática, Computação e Filosofia, e também para o público geral interessado em lógica matemática. Requer apenas noções básicas de teoria dos conjuntos.