Imagen de Portada

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions /

Guardado en:
Otros Autores: Davis, Martin, 1928- (Editor ), Gödel, Kurt, 1906-1978., Church, Alonzo., Turing, Alan Mathison, 1912-1954., Rosser, J. Barkley 1907-, Kleene, Stephen Cole, 1909-1994., Post, Emil Leon, 1897-1954.
Formato: Libro
Idioma:English
Publicado: Hewlett, N.Y. : Raven Press, c1965.
Materias:
Recursive functions.
Gödel's theorem.
Turing machines.
Unsolvability (Mathematical logic)
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 Un55

Ejemplares similares