استیون کول کلینی
(1909 – 1994)
برابر انگلیک (انگلیسی): Stephen Cole Kleene


تاربرگ‌های پیموده‌شده در این نشست: بازبرد ⟩ همتایی گویایی‌های درون‌یافت‌باوری و ابردرون‌یافت‌باوری با گویایی‌های سویی , S4 و فرا S4