propositional


تاربرگ‌های پیموده‌شده در این نشست: Prior Analytics ⟩ Positive Free Logic ⟩ Provability logic ⟩ absolute ⟩ Principia Mathematica ⟩ Propositional modal logic