Afshin Pouria

(1978 – present)

Participations:

گسترش‌ها
درآمدی به گویایی ناکلاسیک
2020
translator
The Correspondence between Intuitionistic and superIntuitionistic logic and modal logic S4 and above S4
2019
Logical-Historical Analysis of Gödel's Metatheorem in Modal Logic
2018