Bibliografia

Principal

• Arora and Barak (2006) Computational Complexity: A modern approach
• Martin Davis (1985) Computability and Unsolvability

Secundária

Não foi definida bibliografia secundária