Подзоров, Сергей Юрьевич - Вычислимость и конструктивность в ограниченных фрагментах теорий : автореферат дис. ... кандидата физико-математических наук : 01.01.06

Карточка

Подзоров, Сергей Юрьевич.

Вычислимость и конструктивность в ограниченных фрагментах теорий : автореферат дис. ... кандидата физико-математических наук : 01.01.06. - Новосибирск, 1999. - 8 с.
Математическая логика, алгебра и теория чисел
FB 9 99-3/1886-7
FB 9 99-3/1887-5

Marc21

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

Показать

Описание

Автор
ЗаглавиеВычислимость и конструктивность в ограниченных фрагментах теорий : автореферат дис. ... кандидата физико-математических наук : 01.01.06
Дата поступления в ЭК 18.08.1999
Каталоги Авторефераты диссертаций
Выходные данныеНовосибирск, 1999
Физическое описание8 с.
ТемаМатематическая логика, алгебра и теория чисел
BBK-кодВ152.61,03
В127,03
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияFB 9 99-3/1886-7
FB 9 99-3/1887-5