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


تاربرگ‌های پیموده‌شده در این نشست: Correspondence theory ⟩ استواره لونهایم-اسکولم سرپایین ⟩ استواره لونهایم-اسکولم سربالا ⟩ لویتسن اخبرتوس یان براوئر ⟩ استانیسلاو یاکوفسکی