معرفی
George Metcalfe is a Professor at the University of Bern, affiliated with the Mathematical Institute. His research focuses on foundational areas of mathematical logic and algebraic structures.
- Research Areas: Proof Theory, Universal Algebra, Non-Classical Logics
حوزههای پژوهشی
۰مقاله منتشرشده
