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


تاربرگ‌های پیموده‌شده در این نشست: استانیسلاو یاکوفسکی ⟩ توماس هابز ⟩ Foundational theories ⟩ Semantic theories ⟩ استواره لونهایم-اسکولم ⟩ توماس اچ کورمن