perdurant


تاربرگ‌های پیموده‌شده در این نشست: predicate ⟩ intuitionism ⟩ Predicate Logic ⟩ partially ordered set