The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions /
Guardado en:
| Otros Autores: | , , , , , , |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Hewlett, N.Y. :
Raven Press,
c1965.
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01290nam a22003255a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb005216 | ||
| 008 | 840604s1965####nyu######b####001#0#eng## | ||
| 005 | 20130326195812.0 | ||
| 245 | 0 | 4 | |a The undecidable : |b basic papers on undecidable propositions, unsolvable problems and computable functions / |c edited by Martin Davis. |
| 260 | |a Hewlett, N.Y. : |b Raven Press, |c c1965. | ||
| 300 | |a 440 p. ; |c 25 cm. | ||
| 500 | |a Contiene trabajos de: Kurt Gödel, Alonzo Church, Alan M. Turing, J. B. Rosser, Stephen C. Kleene y Emil Post. | ||
| 504 | |a Incluye referencias bibliográficas e índice. | ||
| 510 | 4 | |a MR, |c 32 #7412 | |
| 700 | 1 | |a Davis, Martin, |d 1928- |4 edt | |
| 700 | 1 | 2 | |a Gödel, Kurt, |d 1906-1978. |
| 700 | 1 | 2 | |a Church, Alonzo. |
| 700 | 1 | 2 | |a Turing, Alan Mathison, |d 1912-1954. |
| 700 | 1 | 2 | |a Rosser, J. Barkley |q (John Barkley), |d 1907- |
| 700 | 1 | 2 | |a Kleene, Stephen Cole, |d 1909-1994. |
| 700 | 1 | 2 | |a Post, Emil Leon, |d 1897-1954. |
| 650 | 0 | |a Recursive functions. | |
| 650 | 0 | |a Gödel's theorem. | |
| 650 | 0 | |a Turing machines. | |
| 650 | 0 | |a Unsolvability (Mathematical logic) | |
| 650 | 0 | |a Computable functions. | |
| 084 | |a 03-03 (03-06 03D10 03D20 03D35 68Q05 01A60) |2 msc2000 | ||
| 010 | |a 65003996 | ||
| 040 | |a DLC/ICU |c ICU |d DLC | ||
| 859 | |h 03 |i Un55 |p A-2306 |b BIB. MATEMATICA | ||