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