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.