تاربرگ‌های پیموده‌شده در این نشست: اندیشیدن درباره انگارش ⟩ پنداشت ارستو از هستی ⟩ ستاوندی ⟩ پرمانه‌نویسی ⟩ Double Negation Elimination ⟩ بنداشت یکایش