Revisão das 14h08min de 17 de junho de 2007 editar 201.76.156.70 (discussão) Links Externos ← Ver a alteração anterior		Revisão das 18h59min de 17 de junho de 2007 editar desfazer 201.76.156.70 (discussão) Ver a alteração posterior →
Linha 41: ==Referências== [[:en:Leon Henkin\| Henkin, Leon (''inglês'')]]~~. Wikipedia~~ - Wikipedia, The free encyclopedia. Henkin, Leon. 1949. "The Completeness of the First-Order Functional Calculus", ''[[The Journal of Symbolic Logic\|Journal of Symbolic Logic]]''. 14: 159–166. *Henkin, Leon. 1950. "Completeness in the theory of types", ''Journal of Symbolic Logic'' 15: 81–91. == Links externos ==

Leon Henkin: diferenças entre revisões