Система работает в тестовом режиме. Предыдущая версия поиска доступна по ссылке.

Соболев, Сергей Константинович - Проблемы разрешимости для пропозициональных исчислений и логик [Текст] : Автореферат дис. на соискание ученой степени кандидата физико-математических наук. (01.01.06)

Карточка

Соболев, Сергей Константинович.

Проблемы разрешимости для пропозициональных исчислений и логик [Текст] : Автореферат дис. на соискание ученой степени кандидата физико-математических наук. (01.01.06). - Москва : [б. и.], 1977. - 10 с.
АН СССР, Мат. ин-т им. В. А. Стеклова
RuMoRGB
Др 380/1468

Marc21

Показать

Описание

АвторСоболев, Сергей Константинович
ЗаглавиеПроблемы разрешимости для пропозициональных исчислений и логик [Текст] : Автореферат дис. на соискание ученой степени кандидата физико-математических наук. (01.01.06)
Дата поступления в ЭК 20.03.2013
Каталоги Авторефераты диссертаций
Выходные данныеМосква : [б. и.], 1977
Физическое описание10 с.
ПримечаниеАН СССР, Мат. ин-т им. В. А. Стеклова
RuMoRGB
BBK-кодВ12,03
ЯзыкРусский
Места храненияДр 380/1468