Sumários
Aula Práctica 3 - Lógica de Primeira Ordem
6 dezembro 2022, 13:00 • Daniela Sofia Franco Martins Amaral
- Exercicios das folhas Aula 3 (exercicios das práticas)
- Dedução Natural
Aula Práctica 3 - Lógica de Primeira Ordem
6 dezembro 2022, 13:00 • Marcelo Mouta
- Exercicios das folhas Aula 3 (exercicios das práticas)
- Dedução Natural
Aula Práctica 3 - Lógica de Primeira Ordem
6 dezembro 2022, 13:00 • Valentim Dias Romão
- Exercicios das folhas Aula 3 (exercicios das práticas)
- Dedução Natural