27 Abril 2017, 09:30 • Fernando Ferreira
A hierarquia aritmética. Predicados universais. Predicados completos.