Lógica dos Quantificadores

3 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte

Resolução dos exercícios 161 (+ tradução para LPO da frase "Há um único cubo")  e 118 .