|
|
|
|
| LEADER |
00729nam a2200217 u 4500 |
| 001 |
000095200 |
| 005 |
20000321104300.0 |
| 008 |
991026s1965 xxu ||||| eng |
| 035 |
|
|
|a 5734333
|
| 040 |
|
|
|a Sistema de Bibliotecas del Universidad de Costa Rica
|
| 041 |
0 |
|
|a eng
|
| 082 |
0 |
|
|a 511.35
|b H553e
|2 20
|
| 100 |
1 |
|
|a Hermes, Hans
|e Autor/a
|4 aut
|
| 245 |
1 |
0 |
|a Enumerability, decidability, computability :
|b an introduction to the theory of recursive functions /
|c Hans Hermes
|
| 260 |
|
|
|a New York :
|b Oxford University Press,
|c 1985.
|
| 300 |
|
|
|a 245 páginas
|
| 650 |
|
|
|a FUNCIONES RECURSIVAS
|
| 650 |
|
|
|a ALGORITMOS
|
| 650 |
|
|
|a TEOREMA DE GODEL
|
| 912 |
|
|
|a 21-MAR-2000 - ROJAS SOTO, ANA EUDITH
|
| 916 |
|
|
|a Centro Catalográfico
|