4 Dezembro 2018, 11:00 • Andreia Mordido
Resolução de exercícios da folha 8 e 9 sobre decidibilidade.