|
|
|
|
| LEADER |
00966cam a22002897a 4500 |
| 001 |
BIBLO-11337 |
| 003 |
AR-BaUEN |
| 005 |
20201012175616.0 |
| 008 |
000322s1958 nyu||||f |||| 00| 0|eng|d |
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 044 |
|
|
|a xxu
|
| 080 |
|
|
|a 681.33
|b D290
|
| 100 |
1 |
|
|a Davis, Martin
|
| 245 |
1 |
0 |
|a Computability & unsolvability
|
| 260 |
|
|
|a New York, NY :
|b McGraw-Hill,
|c 1958
|
| 300 |
|
|
|a xxv, 210 p. :
|b tablas
|
| 490 |
0 |
|
|a McGraw-Hill series in information processing and computers
|
| 500 |
|
|
|a Referencias bibliográficas pp. 199-203
|
| 500 |
|
|
|a Índice analítico de materias.
|
| 653 |
1 |
0 |
|a TEORIA DE LA COMPUTACION
|
| 653 |
1 |
0 |
|a COMPUTABILIDAD Y DECISION
|
| 653 |
1 |
0 |
|a FUNCIONES COMPUTABLES
|
| 653 |
1 |
0 |
|a FUNCIONES RECURSIVAS
|
| 650 |
1 |
7 |
|2 spines
|a LOGICA MATEMATICA
|
| 650 |
1 |
7 |
|2 spines
|a MAQUINAS DE TURING
|
| 962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|
| 999 |
|
|
|c 11334
|