|
Friedman's Theorem: from standard systems to fixed points
|
09 / 06 / 98 |
|
آنالیزتابعی ازدیدگاه منطق
|
29 / 05 / 98 |
|
درباره اثبات در ریاضیات
|
20 / 04 / 98 |
|
Godel and God
|
20 / 08 / 98 |
|
برهان صديقين به روايت علامه طباطبايي
|
29 / 05 / 98 |
|
پیوند منطق و معرفت‌شناسی نزد ابن‌سینا
|
29 / 05 / 98 |
|
نظریّه‌ی گلوآن‌ها؛ دربارۀ هیچ و همه‌چیز
|
11 / 05 / 98 |
|
منطق ربط منطق ارتباط میان مقدمات و نتیجه
|
11 / 05 / 98 |
|
سمنتیکس رواداری بر پایه نظریه مدل؛ نقدی بر دو نظریه متاخر
|
29 / 05 / 98 |
|
فلسفه‌ی ریاضیات افلاطون
|
29 / 05 / 98 |
|
تحلیل پل تام از قضایای حقیقیه
|
29 / 05 / 98 |
|
مروری بر منطق های چند ارزشی و معرفی منطق پیوسته
|
29 / 05 / 98 |
|
مدل و معنا
|
17 / 04 / 96 |
|
شواهد غیر قطعی از منظر منطقهای توجیه فازی
|
29 / 05 / 98 |
|
مسایلی در منطق مرتبه اول موجهات
|
17 / 04 / 96 |
