Department of Mathematical Logic and Theory of Algorithms

- mathematical logic,
- recursion theory,
- algorithmic problems of algebra,
- proof theory,
- logical problems in computer science,
- constructive logic,
- modal logic,
- computaional complexity,
- Kolmogorov complexity,
- computational logic.

Last modified 11.12.2008.

Mati Pentus