رده‌ها نبیگ

واکاوی گویاییگ-تاریخی فرااستواره گودل در گویایی سویی
همچنین شناخته شده با: تحلیل منطقی تاریخی فراقضیه موجهاتی گودل
برابر انگلیک (انگلیسی): Logical-Historical Analysis of Gödel's Metatheorem in Modal Logic R

دست‌اندرکاران:

گسترش‌ها
Afshin Pouria
افشین پوریا
(1978 – present)


تاربرگ‌های پیموده‌شده در این نشست: گویایی آزاد افزوده ⟩ آغاز انگارش ⟩ استواره‌هایی درباره‌ی افماریک گزاره‌ای لوئیس و هیتینگ ⟩ گویایی سویی گزاره‌ای ⟩ بنداشت اسکفت ⟩ نگره‌ی آوین