Computabilidade, funções computáveis, lógica e os fundamentos da Matemática

O livro é um atualizado manual de Lógica, Computabilidade, funções computáveis e Fundamentos da Matemática, que oferece uma sólida base filosófica para alunos de ensino superior das três áreas, além de promover uma interação entre a Filosofia e essas ciências. É objetivo, didático e traz grande quantidade de exercícios.