تاربرگ‌های پیموده‌شده در این نشست: آوین‌نشده ⟩ چاپخشگری دانشگاه آکسفورد ⟩ بنداشت گزینش ⟩ برنده‌ی راستی ⟩ اتو نویرات ⟩ Löb's theorem