Fundamentos da computabilidade e da lógica matemática são desenvolvidos com exemplos sobre máquinas de Turing e noções de decidibilidade.

O tratamento inclui provas de resultados clássicos e problemas relacionados a graus de indecidibilidade; há análise de implicações para sistemas formais.

Conteúdo contempla funções recursivas, graus de insolubilidade e sistemas formais, incluindo exercícios e exemplos que ilustram técnicas formais.