|
منطق (وجهی) احتمال
|
14 / 05 / 98 |
|
Friedman's Theorem: from standard systems to fixed points
|
12 / 05 / 98 |
|
Truth, Proof and Provability
|
08 / 05 / 98 |
|
ابن سینا علیه افلاطونگرایی در ریاضیات
|
08 / 05 / 98 |
|
ریاضیات ساختارهای اهلی
|
08 / 05 / 98 |
|
منطق رواقی: گذشته و حال
|
01 / 05 / 98 |
|
مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل
|
01 / 05 / 98 |
|
تعارض تکالیف در منطق تکلیف
|
11 / 05 / 98 |
|
Continuous logic and its fragments
|
01 / 05 / 98 |
|
معرفی منطق جبری جامع
|
01 / 05 / 98 |
