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