|
یک مدل انبساطی-تقارنی جبــرگرایانه برای عکس فرمول بوریدان
|
19 مهر 1401 |
|
What are structural properties?
|
23 فروردين 1400 |
|
Intuitionistic analogues of the Łoś-Tarski Theorem
|
24 مرداد 1399 |
|
Friedman's Theorem: from standard systems to fixed points
|
01 شهریور 1398 |
|
Probability (Modal) Logic
|
01 شهریور 1398 |
|
ریاضیات ساختارهای اهلی (2)
|
08 مرداد 1398 |
|
ابن سینا علیه افلاطونگرایی در ریاضیات (2)
|
08 مرداد 1398 |
|
دانلود سخنرانی مروری بر منطق های چند ارزشی و معرفی منطق پیوسته
|
08 مرداد 1398 |
|
Truth, Proof and Provability
|
06 مرداد 1398 |
|
Article (en-gb)
|
14 تیر 1396 |
