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