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.
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.