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 London, Limited |
| Fecha de publicación | 2012 |
| Idioma | inglés |
| ISBN-13 | 9783642461781 |
| Número de Cutter | H553e |