Department of Mathematical Logic

The department staff conduct research in the scope of mathematical logic, foundations of mathematics, logical methods in computer science, mathematical linguistics and philosophy and history of mathematics.