Fundamentos da matemática

O presente livro apresenta uma introdução à linguagem matemática, partindo da lógica proposicional, perpassando pela teoria dos conjuntos e funções. Oriundo de notas de aulas apresentadas por seus autores, o livro é rico em detalhes e possui uma gama considerável de exercícios. O que se busca, segundo os próprios autores, é o encadeamento lógico (sequência de argumentos), ou seja, como funciona a criação de uma conexão entre uma hipótese com uma tese; como explicar matematicamente que um conjunto de ideias implica em outro; como provar que "isso" implica "aquilo".