|
Friedman's Theorem: from standard systems to fixed points
|
23 / 08 / 19 |
|
Truth, Proof and Provability
|
28 / 07 / 19 |
|
ابن سینا علیه افلاطونگرایی در ریاضیات (2)
|
30 / 07 / 19 |
|
ریاضیات ساختارهای اهلی (2)
|
30 / 07 / 19 |
|
Model-theoretic semantics for tolerance; a critical review of two recent theories
|
09 / 03 / 19 |
|
دانلود سخنرانی مروری بر منطق های چند ارزشی و معرفی منطق پیوسته
|
30 / 07 / 19 |
