|
|
|
|
| LEADER |
00000cam a22000002a 4500 |
| 008 |
010222s1984 sp b 000 0 spa d |
| 020 |
|
|
|a 8430910263
|
| 035 |
|
|
|a (Sirsi) i9788430910267
|
| 040 |
1 |
|
|a DLC
|d UV#
|
| 050 |
|
4 |
|a 517.5
|b H47
|
| 100 |
1 |
|
|a Hermes, Hans.
|
| 245 |
1 |
0 |
|a Introducción a la teoría de la computabilidad :
|b algoritmos y máquinas
|c / Hans Hermes ; tr. del alemán por Manuel Garrido y Aránzazu Martín Santos.
|
| 260 |
|
|
|a Madrid :
|b Editorial Tecnos,
|c 1984.
|
| 300 |
|
|
|a 135 p. ;
|c 18 cm.
|
| 490 |
0 |
0 |
|a Cuadernos de filosofía y ensayo
|
| 504 |
|
|
|a Incluye bibliografías.
|
| 534 |
|
|
|a Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
|
| 650 |
|
4 |
|a Funciones recursivas.
|9 355486
|
| 650 |
|
4 |
|a Algoritmos.
|
| 650 |
|
4 |
|a Teorema de Gödel.
|9 362999
|
| 901 |
|
|
|a Z0
|b UV#
|
| 902 |
|
|
|a DBUV
|
| 596 |
|
|
|a 2
|
| 942 |
|
|
|c LIBRO
|6 _
|
| 999 |
|
|
|c 89252
|d 89252
|
