رده‌ها نبیگ

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

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

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


تاربرگ‌های پیموده‌شده در این نشست: چندی‌گر ⟩ ماشین خودکار ⟩ درتاهش سخت‌گیر ⟩ Modal Theorem D.1 ⟩ نگره‌ی آوین ⟩ Modal Axiom Convergent