Enumerability, decidability, computability: an introduction to the theory of recursive functions
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | английский |
| Опубликовано: |
Berlín
Springer-Verlag
1969
|
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Biblioteca de Matemática -
| Шифр: |
511.35 HER 1969 |
|---|---|
| Копировать 1300180 | Доступно Поместить задолженность |