فرزانگی
درونشد
هموندی
دانشنامه
فرزانگی
گویایی
انگارش
رایانش
Ontologie
پارسیگردان
آزمایشگاه گویایی
تالار ناموران
نبیگخانه
واژهنامه
درباره
Naming and Necessity
(1972)
Participants:
گسترشها
Saul Kripke
(1940 – present)
تاربرگهای پیمودهشده در این نشست:
asymmetric
⟩
automaton
⟩
many-valued
⟩
Provability logic