رده‌ها نبیگ

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

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

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


تاربرگ‌های پیموده‌شده در این نشست: بردیدی از گوییک نمادین ⟩ وتار گوییک-خرددوستیک ⟩ توماس اچ کورمن ⟩ On the completeness of the calculus of logic