Enumerability, decidability, computability;
An introduction to the theory of recursive functions
Edición de la obra Enumerability, Decidability, Computability
| Autor | Hans Hermes |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1965-01-01 |
| Número de Cutter | H553e |