Deduções formais com quantificadores
11 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 137 e 139 com e sem a permissa extra de que haja pelo menos um objecto.
11 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 137 e 139 com e sem a permissa extra de que haja pelo menos um objecto.