subcontrary


تاربرگ‌های پیموده‌شده در این نشست: least upper bound ⟩ On Denoting ⟩ A⥽(B⥽B) ⟩ semilattice ⟩ logicism ⟩ J. C. C. McKinsey