Sara Negri

Sara Negri

University of Genoa
在 unige.it 的電子郵件地址已通過驗證
被引用 3493 次
structural proof theory geometric logic modal and non-classical logics labelled deduction formal epistemology