استیون کول کلینی

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


تاربرگ‌های پیموده‌شده در این نشست: پخش‌پذیری آگوست دمورگان ارشمیدس بنداشت بی‌پایانی پارادخش بورالی-فورتی همزادی قانون‌های دمورگان