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

Сохранено в:
Шифр документа: 1Ок263767,
Вид документа: Книги
Автор: Ершов, Ю. Л. (род. 1940)
Издание: 2-е изд., испр. и доп.
Опубликовано: М. Новосибирск : Экономика Науч. кн. , 2000
Физические характеристики: 318 с. ; 21 см
Язык: Русский
Серия: Сибирская школа алгебры и логики
Предмет:
00000cam0a22000004ib4500
001 BY-NLB-br394095
005 20070615172325.4
010 # # $a 5-88119-029-7  $b Науч. кн. в пер.  $d Б.ц. 
010 # # $a 5-282-02021-1  $b Экономика 
100 # # $a 20020327d2000 u y0rusy50 ca 
101 0 # $a rus 
102 # # $a ru 
105 # # $a y j 000yy 
109 # # $a aa  $a ga 
200 1 # $a Определимость и вычислимость  $f Ю.Л.Ершов  $g Ин-т математики СО РАН и др. 
205 # # $a 2-е изд., испр. и доп. 
210 # # $a М.  $c Экономика  $a Новосибирск  $c Науч. кн.  $d 2000 
215 # # $a 318 с.  $d 21 см 
225 1 # $a Сибирская школа алгебры и логики 
300 # # $a В надзаг. также: Новосиб. гос. ун-т, Ин-т дискрет. математики и информатики (Новосибирск, Россия) 
300 # # $a Библиогр.: с. 306-309 (32 назв.) 
300 # # $a Предм. указ.: с. 310-314. 
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-ar18624  $a МНОЖЕСТВА (мат.)  $2 DVNLB 
606 0 # $3 BY-NLB-ar6630  $a ВЫЧИСЛИМОСТИ ТЕОРИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar17285  $a МАТЭМАТЫЧНАЯ ЛОГІКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar18625  $a МНОСТВЫ (мат.)  $2 DVNLB 
606 0 # $3 BY-NLB-ar18627  $a МНОСТВАЎ ТЭОРЫЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar6631  $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 20020327  $g psbo 
801 # 1 $a BY  $b BY-HM0000  $c 20060315  $g psbo