Decidibilidade, reduções, conjuntos não-contáveis

2 Dezembro 2016, 11:30 Alexandre Miguel dos Santos Martins Pinto

Folha 8:

Exercícios 4, 5, 7, 8.