AULA 18

20 Abril 2017, 09:30 • Fernando Ferreira

Enumeralibilidade recursiva (relações Sigma_1). Propriedades fundamentais. Conjuntos recursivamente enumeráveis.