ردهها گویایی انگارشی دسترسی به این تاربرگ بسته شده است. دیسهای 𝑇⊢𝜑 ⇒ 𝜑∈𝑇𝑇⊢𝜑 ⇒ 𝜑∈𝑇 جستارهای پیونددار سامانه دیسهای