Deduções formais com quantificadores
16 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 140, 141 e 142.
16 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 140, 141 e 142.