سخنرانی ماهيانه: 29 آبان 1402
|
14 November 2023 |
The 11th Annual Conference of the Iranian Association for Logic
|
24 October 2023 |
Call for Papers in 11th IAL Annual Conference
|
22 October 2023 |
Call for Papers in 10th IAL Annual Conference
|
08 August 2023 |
سخنرانی ماهيانه: 25 تیر 1402
|
08 August 2023 |
سخنرانی ماهيانه: 26 دی 1401
|
02 January 2023 |
Friedman's Theorem: from standard systems to fixed points
|
23 August 2019 |
Probability (Modal) Logic
|
23 August 2019 |
ریاضیات ساختارهای اهلی (2)
|
30 July 2019 |
دانلود سخنرانی مروری بر منطق های چند ارزشی و معرفی منطق پیوسته
|
30 July 2019 |
Truth, Proof and Provability
|
28 July 2019 |
Article (en-gb)
|
05 July 2017 |