Традиционными темами исследований, проводимых в лаборатории математической логики, являются основания математики, теория доказательств, поиск логического вывода, алгоритмические вопросы алгебры и теории чисел. В последние годы появилось новое направление - дискретная математика (в основном теория графов).