AULA 5

1 Março 2017, 11:30 • Fernando Ferreira

A definição de verdade de Tarski. A noção de modelo dum conjunto de fórmulas fechadas.