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