Admissible rule


تاربرگ‌های پیموده‌شده در این نشست: affixing relevant logics ⟩ Apeiron ⟩ A New Introduction to Modal Logic ⟩ Anaximenes ⟩ Axiom KP ⟩ Aristotle