AULA 9

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

A interpretação do não-contraexemplo de Kreisel.

Cálculo de predicados com igualdade. Quasi-tautologias. Estruturas normais.