Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen /
| Основен автор: | Hermes, Hans |
|---|---|
| Формат: | Книга |
| Език: | German |
| Публикувано: |
Berlin :
Springer-Verlag,
1961.
|
| Налични ИМИ | Сигнатура: |
398I |
|---|