|
|
|
|
| LEADER |
00849nam a2200229 u 4500 |
| 001 |
000323246 |
| 005 |
20051206113522.0 |
| 008 |
s1960 s1960 xxu ||||| eng |
| 035 |
|
|
|a 129634
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
| 041 |
0 |
|
|a eng
|
| 082 |
0 |
|
|a 512.8
|b D328r
|2 00
|
| 100 |
1 |
|
|a Dekker, Jacob C.E.
|d 1921 -
|e Autor/a
|4 aut
|
| 245 |
1 |
0 |
|a Recursive equivalence types /
|c by J. C. E. Dekker and J. Myhill
|
| 260 |
|
|
|a Berkeley, Calif. :
|b University of California Press,
|c 1960.
|
| 300 |
|
|
|a 67-213 páginas :
|b ilustraciones ;
|c 26 cm
|
| 500 |
|
|
|a Separata de: "University of California publications in mathematics, new series". v. 3. n. 3.
|
| 650 |
|
|
|a FUNCIONES RECURSIVAS
|
| 700 |
1 |
|
|a Myhill, J.
|e Autor/a
|4 aut
|
| 912 |
|
|
|a 06-DEC-2005 - QUIROS SALAZAR, DANILO
|
| 949 |
|
|
|a GR b.EV
|
| 916 |
|
|
|a Registros del LS-2000
|