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


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