Biblioteca Dr. Antonio Monteiro · Catálogo | |
LDR | ·····nam##22·····5a#4500 |
001 | 005216 |
005 | 20130326195812.0 |
008 | 840604s1965####nyu######b####001#0#eng## |
245 | 04 | $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 | 12 | $a Gödel, Kurt, $d 1906-1978. |
700 | 12 | $a Church, Alonzo. |
700 | 12 | $a Turing, Alan Mathison, $d 1912-1954. |
700 | 12 | $a Rosser, J. Barkley $q (John Barkley), $d 1907- |
700 | 12 | $a Kleene, Stephen Cole, $d 1909-1994. |
700 | 12 | $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 |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com