Resultados da pesquisa - Henkin, Leon

Leon Henkin

lógico responsável pela demonstração mais usual do teorema da completude em lógicas de primeira ordem Leon Henkin (Brooklyn, – Oakland, ) foi um lógico da Universidade de Berkeley.

Conhecido principalmente pelo "Teorema da Completude de Henkin": sua versão semântica da demonstração da completude dos sistemas padrão de lógica de primeira ordem. Fornecido pela Wikipedia
  • A mostrar 1 - 1 resultados de 1
Refinar resultados
  1. 1
    Imagem da capa

    Retracing elementary mathematics Por Henkin, Leon

    Publicado em 1962
    Ver en el OPAC
    Livro

    Adic. favoritos
    Na minha lista:

Ferramentas de pesquisa: