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