گئورگ کریزل
(1923 – 2015)
برابر انگلیک (انگلیسی): Georg Kreisel


تاربرگ‌های پیموده‌شده در این نشست: بنداشت بنیاد ⟩ درآمدی به خوارزمیک‌ها ⟩ بنداشت جفت‌سازی ⟩ بنداشت هنگرد تهی ⟩ گوییک برای دانش رایانش