AULA 2

22 Setembro 2017, 10:30 • Fernando Ferreira

A definição (recursiva) de multiplicação. Dedução das propriedades aritméticas básicas duma estrutura de Dedekind-Peano.