تاربرگ‌های پیموده‌شده در این نشست: کارکرد ⟩ بنداشت T ⟩ توماس هابز ⟩ جبر ختی ⟩ A⥽(B∨¬B) ⟩ Russell's Correspondence with Frege