Matthias Baaz

Associate Professor at the Institute of Discrete Mathematics and Geometry

Homepage
Publications

Research Interests
proof theory, proof complexity, general logics, juridical logic