Tema 3
19 Outubro 2017, 11:30 • Mário Jorge Edmundo
Teorias, definições, teoremas e demonstrações. Teoremas e implicações lógicas; o que é uma demonstração.
19 Outubro 2017, 11:30 • Mário Jorge Edmundo
Teorias, definições, teoremas e demonstrações. Teoremas e implicações lógicas; o que é uma demonstração.