TP 16

15 Novembro 2017, 09:00 • Bruno Dinis

Resolução dos exercícios 65 e 66. Alguns exemplos de boas ordens. Demonstração de que a ordem de Gödel no produto é uma boa-ordem (Proposição 49).