تاربرگ‌های پیموده‌شده در این نشست: Theories of Meaning ⟩ associativity ⟩ Arend Heyting ⟩ immanence ⟩ Axiom KP ⟩ Otto Neurath