TP12_3

12 Outubro 2020, 12: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