Aula 27/04 - Prova de Henkin

Olá para todos. 

Veremos na aula de amanhã, 27/04, os teoremas 32.2 até 32.10 da prova de Henkin (Hunter seção 32).

Abaixo, uma apostila com o passo a passo das provas e alguns comentários,

http://dl.dropbox.com/u/5959592/henkin_prop_1.pdf

Abraços