AULA 24
15 Dezembro 2017, 09:30 • Fernando Ferreira
Discussão de duas traduções.
Quantificações numéricas.
A noção de estrutura para uma linguagem de primeira-ordem.
15 Dezembro 2017, 09:30 • Fernando Ferreira
Discussão de duas traduções.