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


تاربرگ‌های پیموده‌شده در این نشست: درآمدی به گویایی ناکلاسیک ⟩ راهکاری برای پرسمان برگزینش برای سامانه‌های S2 و S4 لوئیس ⟩ بنداشت بنیاد ⟩ کتاب آبی ⟩ اندیشیدن درباره انگارش ⟩ بنداشت جداسازی