رده‌ها book

Prior Analytics


تاربرگ‌های پیموده‌شده در این نشست: satisfiability ⟩ Non-monotonic logic ⟩ Logical-Historical Analysis of Gödel's Metatheorem in Modal Logic ⟩ Modal Axiom K ⟩ subset ⟩ Principia Mathematica