Imagen de Portada

Enumerability, decidability, computability : an introduction to the theory of recursive functions /

Guardado en:
Autor Principal: Hermes, Hans.
Formato: Libro
Idioma:English
German
Publicado: Berlin : Springer-Verlag, 1965.
Series:Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127.
Materias:
Recursive functions.
Algorithms.
Gödel's theorem.
Computable functions.
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
BIB. MATEMATICA
Ubicación de la biblioteca
Volumen/Tomo: No especificado
Ejemplares: 1
Signatura: 03 H553

Ejemplares similares