Leon Albert Henkin
Biografie
*19. 4.1921 – †2006, americký logik, profesor univerzity v Berkeley. Pracuje v oblasti logické sémantiky, vícehodnotové logiky a metalogiky, zobecnil důkaz úplnosti a bezespornosti pro predikátovou logikou prvního stupně.
Vytvořeno:
14. 3. 2000
Aktualizováno:
21. 2. 2007
Autor: -red-
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!