|
منطق رواقی: گذشته و حال
|
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 |
|
ابهام و زبان ایدهآل، رویای فرگه
|
29 / 05 / 98 |
|
آنالیزتابعی ازدیدگاه منطق
|
29 / 05 / 98 |
|
درباره اثبات در ریاضیات
|
20 / 04 / 98 |
|
Godel and God
|
20 / 08 / 98 |
