A⥽(B⥽B)


تاربرگ‌های پیموده‌شده در این نشست: An Introduction to Non-Classical Logic ⟩ absolute ⟩ A⥽(B∨¬B) ⟩ antisymmetric