AULA 7

11 Outubro 2021, 08:00 • Fernando Ferreira

Indução e recursão transfinita. Ordinais de von Neumann.