Enumerability Decidability Computability
An Introduction to the Theory of Recursive Functions
Edición de la obra Enumerability, Decidability, Computability
| Autor | Hans Hermes, Gabor T. Herman, O. Plassmann |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2012 |
| Idioma | inglés |
| Páginas | 250 |
| ISBN-13 | 9783642461804 |
| Número de Cutter | H553e |