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

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

АН СССР, Мат. ин-т им. В. А. Стеклова
RuMoRGB
Шифр хранения:
FB Др 380/1468

Marc21

Скачать marc21-запись

Показать

Описание

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