Вычислимость. Введение в теорию рекурсивных функций Н. Катленд ; перевод с английского А. А. Мучника ; под редакцией С. Ю. Маслова
Сохранить в:
| Автор: | |
|---|---|
| Тип документа: | Книга |
| Язык: | Russian English |
| Год издания: |
Москва Мир 1983
|
| Рубрика: | |
| Ключевые слова: |
| LEADER | 01086nam0a2200265 i 4500 | ||
|---|---|---|---|
| 001 | F718D633-9758-4785-BDFC-EA1E21086FE0 | ||
| 100 | |a 20190302d1983 k y0rusy02 ca | ||
| 101 | 1 | |a rus |c eng | |
| 102 | |a RU | ||
| 105 | |a a z 000#y | ||
| 200 | 1 | |a Вычислимость. Введение в теорию рекурсивных функций |f Н. Катленд ; перевод с английского А. А. Мучника ; под редакцией С. Ю. Маслова | |
| 210 | |a Москва |c Мир |d 1983 | ||
| 215 | |a 256с. |c ил. |d 21 см | ||
| 320 | |a Библиография: с. 252-254 | ||
| 454 | 0 | |1 7001 |a Nigel, Cutland |1 2001 |a Computability. An introduction to recursive function theory |1 2101 |a London etc. |d 1980 | |
| 606 | |a Функции рекурсивные |x Вычисление | ||
| 686 | |a 87 |2 rubbk | ||
| 686 | |a 02 |2 rugasnti | ||
| 700 | 1 | |a Катленд |b Н. |g Найджел | |
| 702 | 1 | |a Мучник |b А. А. |4 730 | |
| 702 | 1 | |a Маслов |b С. Ю. |4 340 | |
| 801 | 0 | |b ГПНТБ России |a RU |c 20190302 | |