Lógica Elementar

Como o título sugere, este livro contém uma exposição dos principais tópicos de lógica clássica elementar, incluindo um capítulo sobre lógica proposicional, outro sobre lógica de primeira ordem e um terceiro sobre os fundamentos da aritmética. Nele podem ser encontradas provas para resultados como a consistência, a correção e a completude da lógica proposicional e da lógica de primeira ordem para o teorema de Church, da indecidibilidade da lógica de primeira ordem, e para os teoremas de incompletude de Gödel, além de uma apresentação da primeira versão da prova de Gentzen para a consistência da aritmética. Certamente, constitui um material de referência útil para estudantes de disciplinas de lógica clássica em curso de graduação ou de pós-graduação nas áreas de Matemática, Computação ou Filosofia. Considerando que sua leitura e compreensão não pressupõem mais do que um domínio de noções básicas de teoria dos conjuntos, ele pode também ser útil para pessoas do público geral interessadas por lógica matemática.