O livro é um manual de lógica, computabilidade, funções computáveis e fundamentos da matemática, que oferece uma base filosófica para alunos de ensino superior das três áreas.