TP4

14 Outubro 2022, 13:30 • Fernando Ferreira

Indução e recursão transfinita.