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. O livro traz os seguintes tópicos - Prefácio à edição norte-americana - Prefácio à edição brasileira; PRINCÍPIOS FUNDAMENTAIS - Paradoxos; O Significado dos Paradoxos; Números Inteiros e Funções; Provas; Coleções Infinitas? - FUNÇÕES COMPUTÁVEIS - Computabilidade; Máquinas de Turing; A Tese de Church; um Fato Surpreendente; Funções Primitivas Recursivas; A Hierarquia de Grzegorczyk; Recursão Múltipla; Operador de Busca Mínima; Funções Recursivas Parciais; Enumerando as Funções Recursivas Parciais; Listabilidade; Computável por Máquina de Turing = Recursividade Parcial; Lógica Proposicional ; Uma Vista Geral da Lógica de Primeira Ordem e dos Teoremas de Gödel; Aritmética de Primeira Ordem; Funções Representáveis na Aritmética Formal; A Indecidibilidade da Aritmética; A Indemonstrabilidade da Consistência; A Tese de Church; Enfoques Construtivistas da Matemática - Exercícios; Bibliografia.; Glossário e Índice de Notações; Índice.