Scientific Research
of the 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.

Location: http://lpcs.math.msu.su/eng/research.htm
Last modified 11.12.2008.