Abaixo, apostila sobre a prova da completude com identidade
http://dl.dropbox.com/u/5959592/completude_identidade.pdf
Além dos textos já postados, mais dois sobre o paradoxo de Skolem
http://dl.dropbox.com/u/5959592/The_Mathematics_Skolem_Paradox_Timothy_Bays.pdf
http://dl.dropbox.com/u/5959592/skolem_bays.pdf
