TP11_3

13 Outubro 2020, 08:00 • Mário Jorge Edmundo

Exemplo (a LPO dos mundos de blocos (incluindo os símbolos funcionais), interpretações (mundos de blocos)). Exercícios 1/2, 4 e 5