Prof. George Metcalfe

+41 31 684 88 23
email
Sidlerstrasse 5, office 221b
Professor


University of Bern
Mathematical Institute
Sidlerstrasse 5
CH-3012 Bern

Research

Logic and Theory Group (LTG)
proof theory
universal algebra
non-classical logics