Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Соболев Сергей Константинович
В базах данных Math-Net.Ru
Публикаций: 3
Научных статей: 3

Статистика просмотров:
Эта страница:366
Страницы публикаций:892
Полные тексты:334
Списки литературы:77
кандидат физико-математических наук (1977)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)

Научная биография:

Соболев, Сергей Константинович. Проблемы разрешимости для пропозиционных исчислений и логик : диссертация ... кандидата физико-математических наук : 01.01.06. - Москва, 1977. - 145 с. : ил.

https://www.mathnet.ru/rus/person23449
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/542046

Публикации в базе данных Math-Net.Ru Цитирования
1977
1. С. К. Соболев, “О конечномерных суперинтуиционистских логиках”, Изв. АН СССР. Сер. матем., 41:5 (1977),  963–986  mathnet  mathscinet  zmath; S. K. Sobolev, “On finite-dimensional superintuitionistic logics”, Math. USSR-Izv., 11:5 (1977), 909–935 1
2. С. К. Соболев, “Об интуиционистском исчислении высказываний с кванторами”, Матем. заметки, 22:1 (1977),  69–76  mathnet  mathscinet  zmath; S. K. Sobolev, “The intuitionistic propositional calculus with quantifiers”, Math. Notes, 22:1 (1977), 528–532 7
3. С. К. Соболев, “О финитной аппроксимируемости суперинтуиционистских логик”, Матем. сб., 102(144):2 (1977),  289–301  mathnet  mathscinet  zmath; S. K. Sobolev, “On finite approximability of superintuitionistic logics”, Math. USSR-Sb., 31:2 (1977), 257–268  isi 7

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024