Leon Albert Henkin



*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ě.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 21. 2. 2007
Autor: -red-

Sdílet: Facebook Twitter

Reklama: