آرند هیتینگ
(1898 – 1980)
همچنین شناخته شده با: هیتینگ
برابر انگلیک (انگلیسی): Arend Heyting Heyting


تاربرگ‌های پیموده‌شده در این نشست: آلن تورینگ