TP11_7
27 Outubro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (pôr sentenças numa das formais normais). Exercícios 24, 25 27/28 e 29.
27 Outubro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (pôr sentenças numa das formais normais). Exercícios 24, 25 27/28 e 29.