|
سخنرانی ماهيانه: 29 آبان 1402
|
02 January 2024 |
|
سخنرانی ماهيانه: 26 دی 1401
|
02 January 2023 |
|
سخنرانی ماهيانه: 25 مهر 1401
|
01 January 2023 |
|
What are structural properties?
|
12 April 2021 |
|
Intuitionistic analogues of the Łoś-Tarski Theorem
|
14 August 2020 |
|
Friedman's Theorem: from standard systems to fixed points
|
23 August 2019 |
|
Probability (Modal) Logic
|
23 August 2019 |
|
ریاضیات ساختارهای اهلی (2)
|
30 July 2019 |
|
ابن سینا علیه افلاطونگرایی در ریاضیات (2)
|
30 July 2019 |
|
دانلود سخنرانی مروری بر منطق های چند ارزشی و معرفی منطق پیوسته
|
30 July 2019 |
|
Truth, Proof and Provability
|
28 July 2019 |
|
Article (en-gb)
|
05 July 2017 |
