دسترسی به این تاربرگ بسته شده است.

دیسه‌ای
⊢ 𝜙∨𝜓 ⇒ ⊢ 𝜙 𝑜𝑟 ⊢ 𝜓
⊢ 𝜙∨𝜓 ⇒ ⊢ 𝜙 or ⊢ 𝜓


تاربرگ‌های پیموده‌شده در این نشست: وتار گوییک-خرددوستیک لئوپارد لونهایم Foundational theories کاژیمیش کوراتوفسکی استواره لونهایم-اسکولم ویلارد ون اورمان کوآین