Алгоритмы, алгебры и интуиционистская логика
Алгорифмы Колмогорова сильнее машин Тьюринга
Аналогии теоремы Райса для семантических классов предложений.
Антиаддитивные примитивно связные теории
Аппроксимации отображений в группу.
Аппроксимируемость операторов в конструктивных метрических пространствах
Арифметическая иерархия абелевых групп
Арифметическая иерархия и идеалы нумерованных булевых алгебр.
Арифметические представления перечислимых множеств с небольшим числом кванторов
Атомные булевы логики
Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz
Базисы допустимых правил вывода табличных модальных логик глубины 2.
Базисы допустимых правил модальной системы Grz и интуиционистской логики
Базисы квазитождеств конечных модальных алгебр.
Базы допустимых правил логик S4 и Int
Безатомные идеалы конструктивных булевых алгебр.
Бескванторные и однокванторные системы
Бесконечные арифметические формулы и принцип рефлексии.
Бесконечные множества простых чисел, допускающие диофантовы представления с восемью переменными
Булевозначные алгебры