|
Friedman's Theorem: from standard systems to fixed points
|
09 شهریور 1398 |
|
منطق (وجهی) احتمال
|
01 شهریور 1398 |
|
Linear Algebraic Semantics for Natural Language
|
29 مرداد 1398 |
|
معرفی منطق جبری جامع
|
29 مرداد 1398 |
|
Continuous logic and its fragments
|
29 مرداد 1398 |
