Admissible rule


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