Enumerability, decidability, computability : An introduction to the theory of recursive functions /
| Основен автор: | Hermes, Hans |
|---|---|
| Други автори: | Herman, G. T. (transl.), Plassmann, O. (transl.) |
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Berlin :
Springer-Verlag,
1965.
|
| Налични ИМИ | Сигнатура: |
399I |
|---|