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
Mostrando 1 - 1 resultados de 1 para a busca 'Henkin, Leon', tempo de busca: 0.02s Refinar Resultados
  1. 1
    Mais informações
    Livro

    Salvar na lista
    Na minha lista:
Ferramentas de busca: Obter Feed RSS — Enviar busca por e-mail