Henkin
Henkin Leon Albert, *19. 4. 1921, americký logik; prof. univ. v Berkeley. Pracuje v oblasti log. sémantiky, vícehodnotové logiky a metalogiky; zobecnil důkaz úplnosti a bezespornosti pro predikátovou log. prvního stupně.
Henkin Leon Albert, *19. 4. 1921, americký logik; prof. univ. v Berkeley. Pracuje v oblasti log. sémantiky, vícehodnotové logiky a metalogiky; zobecnil důkaz úplnosti a bezespornosti pro predikátovou log. prvního stupně.
