معرفی
Stefano Baratella is a Full Professor in the Department of Mathematics at the University of Trento. His expertise spans mathematical logic, including specialized work in non-classical logics, modal systems, temporal logic, and many-valued logics.
He teaches courses on foundational mathematical topics including 'Fondamenti logici della matematica' (Logical Foundations of Mathematics), 'Mathematical Logic', and 'Set theory' at the University of Trento's Povo campus.
۰مقاله منتشرشده
