A⥽(B⥽B)


تاربرگ‌های پیموده‌شده در این نشست: Axiom KP ⟩ Avicenna ⟩ Alan Turing ⟩ A⥽(B∨¬B) ⟩ affixing relevant logics