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