فرزانگی
درونشد
هموندی
دانشنامه
فرزانگی
گویایی
انگارش
رایانش
Ontologie
پارسیگردان
آزمایشگاه گویایی
تالار ناموران
نبیگخانه
واژهنامه
درباره
mathematical logic
نمونهها/پیادهسازیها
completeness
theory
Gödel's first incompleteness theorem
تاربرگهای پیمودهشده در این نشست:
Hilary Putnam
⟩
mathematical logic
⟩
interior operation
⟩
Immanuel Kant
⟩
Rudolf Carnap
⟩
neural network