Линейные функционалы в конструктивных пространствах
Локальные классы и вычислимые индексации
Локальный метод и теорема компактности для топологических алгебраических систем
Любое семейство подмножеств праэлементов порождает допустимое множество.
Магариевы и -псевдобулевы алгебры.
Мажорантная семантика гиперарифметических суждений
Максимальная последовательность классов, преобразуемых примитивной рекурсией в заданный класс
Максимальные -поля
Максимальные и всюду определенные функционалы.
Математика и деалектика
Математическая интерпретация теоремы о веерах
Матричные иерархии языков первого порядка и их приложения.
Матричный способ записи сетей меток
Машинное описание и иерархия начальных классов Гжегорчика
Машинно-независимое описание некоторых машинных классов сложности
Машины Тьюринга с двумя символами и двумя состояниями
Метод синтеза условий выводимости хорновских и некоторых других формул.
Метод эпсилон подстановок для исчисления предикатов с равенством
Минимальные модули над прюферовыми кольцами.
Минимальные нумерации позитивно вычислимых семейств