رده‌ها Algebra

Abstract algebra


تاربرگ‌های پیموده‌شده در این نشست: A⥽(B⥽B) ⟩ Absorption ⟩ Admissible rule ⟩ affixing relevant logics ⟩ axiomatization ⟩ A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology