Lógica e Aritmética

Este livro é uma iniciação informal à lógica e à aritmética (formais), reflectindo as preferencias e a experiência pessoais do autor. São também abordadas algumas questões de filosofia e fundamentos da matemática. A maior parte dos assuntos escolhidos e o grau de aprofundamento são adequados a um primeiro contato com coisas logicas, ao nível da formação de professores do ensino secundário ou do primeiro ano de uma licenciatura em Matemática, Informática, Engenharia ou Letras (Filosofia), ou até do leitor autodidacta.