Нагорный Николай Макарович

Публикации в базе данных Math-Net.Ru

1. Одна конструктивная модель классической формальной арифметики
   
   Докл. РАН, 332:1 (1993),  26–28
2. О реализуемых и восполнимых логико-арифметических формулах
   
   Докл. АН СССР, 157:3 (1964),  529–531
3. О реализации функций в алфавитах алгорифмами некоторых классов
   
   Докл. АН СССР, 140:1 (1961),  52–55
4. О минимальном алфавите алгорифмов над данным алфавитом
   
   Тр. МИАН СССР, 52 (1958),  66–74
5. Некоторые обобщения понятия нормального алгорифма
   
   Тр. МИАН СССР, 52 (1958),  7–65


6. Об исследовательском проекте “Библиография математической логики и смежных областей” Отделения математической логики Гейдельбергской академии наук
   
   Ж. вычисл. матем. и матем. физ., 35:2 (1995),  318–319
7. Г. Ассep. Введение в математическую логику. Ч. I. Исчисление высказываний; Ч. II. Исчисление предикатов первой ступени. Рецензия
   
   Ж. вычисл. матем. и матем. физ., 16:3 (1976),  815–816
8. Г. Фройнд, П. Зоргер. Логика высказываний и методы доказательств. Рецензия
   
   Ж. вычисл. матем. и матем. физ., 16:2 (1976),  535–536
9. Андрей Андреевич Марков (к семидесятилетию со дня рождения)
   
   УМН, 29:6(180) (1974),  187–191
10. Цулауф А. Логические и теоретико-множественные основания математики. Ч. I. (Рецензия)
    
    Ж. вычисл. матем. и матем. физ., 11:3 (1971),  793
11. Андрей Андреевич Марков (к шестидесятилетию со дня рождения)
    
    УМН, 19:3(117) (1964),  207–223