Независимостъ континуум - гипотезы Petr Vopěnka (1964) Commentationes Mathematicae Universitatis Carolinae
Независимость постулатов натуральных исчислений Г.Е. Минц (1968) Zapiski naucnych seminarov Leningradskogo
Независимые базисы для правил, допустимых в предтабличных логиках В.В. Рыбаков, В.Р. Кияткин, М. Терзилер (2000) Algebra i Logika
Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве В.А. Лифшиц, В.П. Чернов (1973) Zapiski naucnych seminarov Leningradskogo
Неконструктивизируемость некоторых упорядоченных полей вещественных чисел. Н.Г. Хисамиев (1987) Sibirskij matematiceskij zurnal
Неконструктивизируемость редуцированной части сильно конструктивной абелевой группы без кручения З.Г. Хисамиев, Н.Г. Хисамиев (1985) Algebra i Logika
Некоторые вопросы теории конструктивных функций действительной переменной Osvald Demuth (1978) Acta Universitatis Carolinae. Mathematica et Physica
Некоторые классы сведения и неразрешимые теории В.А. Лифшиц (1967) Zapiski naucnych seminarov Leningradskogo
Некоторые комбинаторные вопросы, касающиеся функциональных построений в k-значной логике А.В. Кузнецов, А.Ф. Данильченко, И.С. Негру, Е.А. Павлова (1987) Matematiceskie issledovanija
Некоторые модификации итерированной клиниевской вычислимости. Е.Г. Никифорова (1986) Algebra i Logika
Некоторые приемы, упрощающие построение сетей меток Я.Я. Голота (1969) Zapiski naucnych seminarov Leningradskogo
Некоторые свойства автоустойчивых моделей О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1996) Algebra i Logika