|
|
|
|
|
00000cam2a22000001ib4500 |
001 |
BY-NLB-rr26850610002 |
005 |
20111012155347.0 |
010 |
# |
# |
$b В пер.
$d 2 р.
|
020 |
# |
# |
$a RU
$b [83-7895]
|
100 |
# |
# |
$a 20071220d1982 y0rusy50 ||||ca
|
101 |
1 |
# |
$a rus
$c eng
|
102 |
# |
# |
$a RU
|
105 |
# |
# |
$a y|||||||001yy
|
200 |
1 |
# |
$a Теория рекурсии
$f [Г. Б. Эндертон, М. Девис, М. О. Рабин и др.]
$g Перевод С. Г. Дворникова, И. А. Лаврова
$g Под ред. Ю. Л. Ершова
|
210 |
# |
# |
$d 1982
|
215 |
# |
# |
$a 360 с.
|
320 |
# |
# |
$a Библиогр.: с. 6 (6 назв.). Библиогр. в конце глав
|
320 |
# |
# |
$a Предм. указ.: с. 354―359
|
327 |
1 |
# |
$a В кн. также: Алгоритмические проблемы в теории полей: Положит. аспекты / Ю. Л. Ершов
|
345 |
# |
# |
$9 20000 экз.
|
461 |
# |
0 |
$1 001BY-NLB-rr26850620000
$1 2001
$v Ч. 3
|
610 |
0 |
# |
$a Математическая логика - Справочники
|
675 |
# |
# |
$a 510.6(035.5)
|
701 |
# |
1 |
$a Эндертон
$b Г. Б.
$g Герберт Б
|
702 |
# |
1 |
$a Ершов
$b Ю. Л.
$g Юрий Леонидович
$4 340
|
801 |
# |
1 |
$a BY
$b BY-HM0000
$c 20071220
$g psbo
|