Enumerability, decidability, computability : an introduction to the theory of resursive functions / Hans Hermes
Tipo de material:
TextoSeries Die Grundlehren der Mathematischen Wissenschaften ; , v.127Editor: Berlin : Springer-Verlag, 1969Edición: 2nd. edDescripción: 245 páginas : ilustracionesTipo de contenido: texto Tipo de medio: no mediado Tipo de portador: volumenTema(s): ALGORITMOS | FUNCIONES COMPUTABLES | FUNCIONES RECURSIVAS | LOGICA SIMBOLICA Y MATEMATICAClasificación CDD: 511.3
| Tipo de ítem | Biblioteca actual | Colección | número de clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libro General
|
Biblioteca Central | Colección General | 511.3 H553 (Navegar estantería(Abre debajo)) | 1 | Disponible | 35609000071933 | |
|
Libro General
|
Biblioteca Central | Colección General | 511.3 H553 (Navegar estantería(Abre debajo)) | 2 | Disponible | 35609000071941 |