Friedman's Theorem: from standard systems to fixed points
|
09 / 06 / 98 |
Truth, Proof and Provability
|
29 / 05 / 98 |
ابن سینا علیه افلاطونگرایی در ریاضیات
|
29 / 05 / 98 |
ریاضیات ساختارهای اهلی
|
29 / 05 / 98 |
منطق رواقی: گذشته و حال
|
29 / 05 / 98 |
مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل
|
29 / 05 / 98 |
تعارض تکالیف در منطق تکلیف
|
29 / 05 / 98 |
Continuous logic and its fragments
|
29 / 05 / 98 |
معرفی منطق جبری جامع
|
29 / 05 / 98 |
Linear Algebraic Semantics for Natural Language
|
29 / 05 / 98 |