Wikipédia

Leon Henkin: diferenças entre revisões

Explorar interativamente o histórico
← Ver a alteração anteriorVer a alteração posterior →
Conteúdo apagado Conteúdo adicionado
VisualTexto wiki
333~ptwiki (discussão | contribs)
17 060 edições
m +cat, +iw
Corrigindo links
Linha 41:
==Referências==
 
*[http[://en.wikipedia.org/wiki/Leon_Henkin:Leon Henkin| Henkin, Leon]]. 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.
Obtida de "https://pt.wikipedia.org/wiki/Leon_Henkin"