| Номер документа в системі: | 119029 |
| Автор: | Катленд Н. |
| Назва документа: | Вычислимость. Введение в теорию рекурсивных функций |
| Видавництво: | Мир |
| Місто видання: | М. |
| Рік видання: | 1983 |
| УДК | 517.58 |
| Мова документу | Російська |
| Шифр документу | 517 |
| Кількість сторінок | 256 с. |