Research Topics

Members of The Department of Computation Theory are active in different areas of mathematical logic applied to mathematical linguistics and theoretical computer science as well as in some branches of history and philosophy of mathematics. Main research topics are the following: