تاربرگ‌های پیموده‌شده در این نشست: predicate ⟩ Prior Analytics ⟩ Positive Free Logic ⟩ Provability logic ⟩ Modal Axiom K