تاربرگ‌های پیموده‌شده در این نشست: Correspondence theory ⟩ استوارت شپیرو ⟩ Löb's theorem ⟩ اتو نویرات