Разрешимость теорий иерархий согласованных со сложением функций: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Снятков Алексей Сергеевич

Сохранено в:
Шифр документа: 2//143669(039),
Вид документа: Авторефераты диссертаций
Автор: Снятков, А. С.
Опубликовано: Ярославль , 2012
Физические характеристики: 16 с.
Язык: Русский
Предмет:
00000cam0a2200000 ia4500
001 BY-NLB-br0000863678
005 20130221134410.0
100 # # $a 20121030d2012 k y0rusy50 ca 
101 0 # $a rus 
102 # # $a RU 
105 # # $a y m 000yy 
109 # # $a ac  $a aa 
200 1 # $a Разрешимость теорий иерархий согласованных со сложением функций  $e автореферат диссертации на соискание ученой степени кандидата физико-математических наук  $e специальность 01.01.06 Математическая логика, алгебра и теория чисел  $f Снятков Алексей Сергеевич  $g [Тверской государственный университет] 
210 # # $a Ярославль  $d 2012 
215 # # $a 16 с. 
320 # # $a Библиография: с. 15—16, библиография в подстрочных примечаниях 
606 0 # $3 BY-NLB-ar17284  $a МАТЕМАТИЧЕСКАЯ ЛОГИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar2267341  $a РАЗРЕШИМЫЕ ТЕОРИИ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2841121  $a АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ  $2 DVNLB 
606 0 # $3 BY-NLB-ar5756066  $a ПРЕСБУРГЕРА АРИФМЕТИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar5755942  $a ЭЛИМИНАЦИЯ КВАНТОРОВ  $2 DVNLB 
686 # # $a 01.01.06  $2 oksvnk 
686 # # $a 27.03.19  $2 rugasnti  $v 6 
686 # # $a 27.03.66  $2 rugasnti  $v 6 
700 # 1 $3 BY-SEK-ar5383165  $a Снятков  $b А. С.  $g Алексей Сергеевич 
801 # 0 $a BY  $b BY-HM0000  $c 20121030  $g psbo