تاربرگ‌های پیموده‌شده در این نشست: Modal System B ⟩ گویایی‌های فروآموزگاهی ⟩ بازتابی بودن ⟩ groupoid ⟩ system ⟩ Topics