|
|
|
|
| LEADER |
00770nam a2200217 u 4500 |
| 001 |
000189980 |
| 005 |
20000523142904.0 |
| 008 |
991026s1965 xxu ||||| eng |
| 035 |
|
|
|a 5733003
|
| 040 |
|
|
|a Sistema de Bibliotecas de Universidad de Costa Rica
|
| 041 |
0 |
|
|a eng
|
| 082 |
0 |
|
|a 511.35
|b U55u
|2 20
|
| 100 |
1 |
|
|a Davis, Martin
|d 1928-
|e Editor/a
|4 edt
|
| 245 |
1 |
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áginas
|
| 650 |
|
|
|a FUNCIONES RECURSIVAS
|
| 650 |
|
|
|a TEOREMA DE GODEL
|
| 650 |
|
|
|a INSOLUBILIDAD (LOGICA MATEMATICA)
|
| 912 |
|
|
|a 23-MAY-2000 - ROJAS SOTO, ANA EUDITH
|
| 916 |
|
|
|a Centro Catalográfico
|