Kreisel

Kreisel [krajzl] Georg . *15. 9. 1926, amer. logik; pracuje v log. teorii modelů a teorii důkazu, zastánce intuicionistické logiky.


zpět