تاربرگ‌های پیموده‌شده در این نشست: Necessitist ⟩ Investigations in the foundations of set theory I ⟩ Ruth Barcan Marcus ⟩ Modal algebra ⟩ Prior Analytics