TP 6

6 Outubro 2017, 11:30 • Bruno Dinis

Resloução de exercícios sobre relação de ordem em estruturas de Dedekind-Peano, princípio do mínimo e o teorema da recursão (Exercícios 4, 5, 6, 7 e o Exercício 3.2.12 do livro de Hrbacek e Jech).