Исчисления с монотонными выводами и их экономическая интерпретация С.Ю. Маслов (1979) Zapiski naucnych seminarov Leningradskogo
Критерий допустимости правил в модальной системе S4 и интуиционистской логике. В.В. Рыбаков (1984) Algebra i Logika
Критические теории над-коммутативно-ассоциативных многообразий колец. В.Ю. Попов (1995) Sibirskij matematiceskij zurnal
Неабелево многообразие групп имеет неразрешимую элементарную теорию. А.Р. Замятин (1978) Algebra i Logika
Неассоциативные кольца с одним определяющим соотношением, элементарные теории которых разрешимы Ю.М. Важенин (1990) Algebra i Logika
Некоторые классы сведения и неразрешимые теории В.А. Лифшиц (1967) Zapiski naucnych seminarov Leningradskogo
Неразрешимость некоторых теорий Ю.Л. Ершов, М.А. Тайцлин, Ju.L. Eršov, M.A. Tajclin, Ǔ. L. Eršov, M.A. Tajclin, M.A. Taitslin, Ju.L. Ersov, Ju.L. Eršov, M.A. Tajclin (1963) Algebra i Logika
Неразрешимость полей рациональных функций над полями характеристики 2. Ю.Г. Пензин (1973) Algebra i Logika
Неразрешимость элементарной теории поля рациональных функций от одного переменного с рациональными коффинциентами Р.М. Робинсон, Rafael' M. Robinson, Rafael' M. Robinson, Rafael' M. Robinson (1963) Algebra i Logika