Prof. George Metcalfe

+41 31 631 88 23
+41 31 631 85 10
email
homepage
Sidlerstrasse 5, office 221B
Professor


University of Bern
Mathematical Institute
Sidlerstrasse 5
CH-3012 Bern

Research

Logic
proof theory
universal algebra
non-classical logics