Определимость и вычислимость / Юрий Л.Ершов

Сохранено в:
Шифр документа: 1Ок189506,
Вид документа: Книги
Автор: Ершов, Ю. Л. (род. 1940)
Опубликовано: Новосибирск : Науч. кн. , 1996
Физические характеристики: XII, 286 с.
Язык: Русский
Серия: Сибирская школа алгебры и логики
Предмет:
00000cam0a22000004ib4500
001 BY-NLB-br248715
005 20070615164549.5
010 # # $a 5-88119-007-6  $d Б.ц. 
100 # # $a 20000301d1996 u y0rusy50 ca 
101 0 # $a rus 
102 # # $a ru 
105 # # $a y 000yy 
109 # # $a aa 
200 1 # $a Определимость и вычислимость  $f Юрий Л.Ершов 
210 # # $a Новосибирск  $c Науч. кн.  $d 1996 
215 # # $a XII, 286 с. 
225 1 # $a Сибирская школа алгебры и логики  $f Гл. ред. Ю.Л.Ершов 
300 # # $a Библиогр.: с. 277-279 
300 # # $a Предм. указ.: с. 281-284. 
345 # # $9 1000 экз. 
606 0 # $3 BY-NLB-ar17284  $a МАТЕМАТИЧЕСКАЯ ЛОГИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar18626  $a МНОЖЕСТВ ТЕОРИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar17285  $a МАТЭМАТЫЧНАЯ ЛОГІКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar18627  $a МНОСТВАЎ ТЭОРЫЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar43766  $a КВАНТОРЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar43767  $a КВАНТАРЫ  $2 DVNLB 
675 # # $a 510.6  $v 3  $z rus 
686 # # $a 27.03.19  $2 rugasnti 
700 # 1 $3 BY-SEK-358968  $a Ершов  $b Ю. Л.  $g Юрий Леонидович  $c доктор физико-математических наук  $f род. 1940 
801 # 0 $a BY  $b BY-HM0000  $c 20000301  $g psbo 
801 # 1 $a BY  $b BY-HM0000  $c 20060315  $g psbo