Logica Matemática - Coleção Acadêmica 88

Lógica Matemática É Uma Obra De Natureza Introdutória, Porém Completa, Centrada No Desenvolvimento Da Lógica Clássica De Primeira Ordem. Inicia-Se Com Reflexões Sobre Paradoxos E (Meta)Linguagem, E Contém Também Capítulos E Apêndices Sobre Lógica Pro Posicional Clássica, Teoria Dos Conjuntos (Ingênua E Formalizada), Construções De Conjuntos Numéricos E Álgebras De Boole. O Objetivo Do Autor É Introduzir Ao Estudante De Matemática De Licenciatura Ou De Bacharelado Os Fundamentos Da Lógica De Primeira Ordem, Mostrando Como Essa Pode Ser Utilizada Para Formalizar A Matemática, Tornando Mais Precisas As Definições, Notações E Demonstrações Que Nela Aparecem. Todos Os Conceitos São Definidos E Explicados No Texto, Porém, É Aconselhável Que O Leitor Tenha Alguma Experiência Em Demonstrações Matemáticas Informais, Adquiridas Em Disciplinas Como Álgebra, Álgebra Linear E Análise Real Para Acompanhar A Leitura Com Fluência.