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 Proposicional 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.