Biblioteca Dr. Antonio Monteiro · Catálogo | |
LDR | ·····nam##22·····5a#4500 |
001 | 005386 |
005 | 20151117143451.0 |
008 | 840803s1965####gw#a#####b####001#0#eng## |
245 | 10 | $a Enumerability, decidability, computability : $b an introduction to the theory of recursive functions / $c by Hans Hermes ; translated by G.T Herman and O. Plassmann. |
260 | ## | $a Berlin : $b Springer-Verlag, $c 1965. |
300 | ## | $a ix, 245 p. : $b il. ; $c 24 cm. |
490 | 1# | $a Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; $v Bd. 127 |
500 | ## | $a Traducción de: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. 1961. |
504 | ## | $a Incluye referencias bibliográficas e índice. |
510 | 4# | $a MR, $c 31 #5796 |
100 | 1# | $a Hermes, Hans. |
240 | 10 | $a Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. $l Inglés |
830 | #0 | $a Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; $v Bd. 127. |
650 | #0 | $a Recursive functions. |
650 | #0 | $a Algorithms. |
650 | #0 | $a Gödel's theorem. |
650 | #0 | $a Computable functions. |
084 | ## | $a 03Dxx $2 msc2000 |
010 | ## | $a ###65012556# |
040 | ## | $a DLC/ICU $c ICU $d DLC |
041 | 1# | $a eng $h ger |
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