Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Кузнецов Александр Владимирович
(1926–1984)

В базах данных Math-Net.Ru
Публикаций: 10
Научных статей: 8

Статистика просмотров:
Эта страница:1145
Страницы публикаций:897
Полные тексты:520
Сайт: http://bio.logics.pro/index.php/Кузнецов_Александр_Владимирович

http://www.mathnet.ru/rus/person118306
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
1985
1. А. В. Кузнецов, “О доказуемостно-интуиционистском пропозициональном исчислении”, Докл. АН СССР, 283:1 (1985),  27–30  mathnet  mathscinet  zmath
1979
2. А. В. Кузнецов, М. Ф. Раца, “Критерий функциональной полноты в классической логике предикатов первого порядка”, Докл. АН СССР, 249:3 (1979),  540–544  mathnet  mathscinet  zmath
1970
3. В. Я. Герчиу, А. В. Кузнецов, “О конечно аксиоматизируемых суперинтуиционистских логиках”, Докл. АН СССР, 195:6 (1970),  1263–1266  mathnet  mathscinet  zmath
4. А. В. Кузнецов, В. Я. Герчиу, “О суперинтуиционистских логиках и финитной аппроксимируемости”, Докл. АН СССР, 195:5 (1970),  1029–1032  mathnet  mathscinet  zmath
1965
5. А. В. Кузнецов, “Аналоги “штриха Шеффера” в конструктивной логике”, Докл. АН СССР, 160:2 (1965),  274–277  mathnet  mathscinet  zmath
1963
6. А. В. Кузнецов, “О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказываний”, Алгебра и логика. Семинар, 2:4 (1963),  47–66  mathnet  mathscinet
1958
7. А. В. Кузнецов, “О бесповторных контактных схемах и бесповторных суперпозициях функций алгебры логики”, Тр. МИАН СССР, 51 (1958),  186–225  mathnet  mathscinet  zmath
8. А. В. Кузнецов, “Об одном свойстве функций, реализуемых неплоскими бесповторными схемами”, Тр. МИАН СССР, 51 (1958),  174–185  mathnet  mathscinet  zmath

1971
9. В. Я. Герчиу, А. В. Кузнецов, “Поправки к статье “О конечно аксиоматизируемых суперинтуиционистских логиках” (ДАН, т. 195, № 6, 1970 г.)”, Докл. АН СССР, 199:6 (1971),  742  mathnet
10. А. В. Кузнецов, В. Я. Герчиу, “Поправки к статье “О суперинтуиционистских логиках и финитной аппроксимируемости” (ДАН, т. 195, № 5, 1970 г.)”, Докл. АН СССР, 199:6 (1971),  742  mathnet
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021