رده‌ها mathematical logic

theory
دیسه‌ای
𝑇⊢𝜑 ⇒ 𝜑∈𝑇
𝑇⊢𝜑 ⇒ 𝜑∈𝑇

جستارهای پیونددار Formal System

تاربرگ‌های پیموده‌شده در این نشست: artificial intelligence ⟩ An Introduction to Modal Logic ⟩ Set theory