AP18 Teoremas de Rogers e da Recursão

14 novembro 2019, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Caracterização de conjunto universal próprio. Aplicações do Teorema da Recursão.