terça-feira, 26 de abril de 2011

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,
Abraços

Nenhum comentário:

Postar um comentário