برای دریافت فایل از لینک زیر استفاده کنید
آخرین مطالب
همايشها
سخنرانیها
-
سخنرانی ماهيانه: 30 بهمن 1402
Reason, Belief and Inference سخنران: حمید وحید (پژوهشگاه دانش‌های بنیادی (IPM))...
-
سخنرانی ماهيانه: 11 دی 1402
تأثیرات پیشرفت‌های متأخر در نظریه‌ی مجموعه‌ها بر فلسفه‌ی...
-
سخنرانی ماهيانه: 29 آبان 1402
The Craig Interpolation Property in First-order Gödel Logic...
-
سخنرانی ماهيانه: 24 مهر 1402
(این سخنرانی به دلیل کسالت لغو گردید و به زمان دیگری موکول شد. زمان...
-
سخنرانی ماهيانه: 19 مهر 1402
پارادوکس دروغگو در منطق نمادین سیاوش احمدزاده چکیده: با وجود...