Вид документа : Однотомное издание Шифр издания : АР00-9114 Автор(ы) : Дудаков С.М. Заглавие : Вычислительная сложность некоторых задач математической логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 Выходные данные : М., 2000 Колич.характеристики :17 с. Примечания : В надзаг. : МГУ им. М.В. Ломоносова. Мех.-мат. фак. Библиогр.:с. 17 (4 назв.) ГРНТИ : 27.03.17 УДК : 510.52(043) Экземпляры :ХР(1) Свободны : ХР(1)