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: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Computability & unsolvability /
por: Davis, Martin, 1928-
Publicado: (1958) -
Enumerability, decidability, computability : an introduction to the theory of recursive functions /
por: Hermes, Hans.
Publicado: (1965) -
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einführung in die Theorie der rekursiven Funktionen.
por: Hermes, Hans.
Publicado: (1961) -
Forever undecided : a puzzle guide to Gödel /
por: Smullyan, Raymond M.
Publicado: (1988) -
Cornerstones of undecidability /
por: Rozenberg, Grzegorz.
Publicado: (1994)
