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.
Ficha técnica
- Formato: Papel
- Autor: Carlos Luciano Montagnoli
- ISBN-13: 978-85-302-0015-2
- Páginas: 319
- Mês de publicação: Outubro
- Idioma: Português
- Edição: 1
- ISBN-10: 85-302-0015-2
- ISBN: 978-85-302-0015-2
- Gênero do livro: Estatística, Física e Matemática
- Editora: EDUEL
- Ano de publicação: 2020
- Cobertura: Mole
Marca: Não Informado