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.