|
|
|
|
LEADER |
00769nam a2200229 u 4500 |
001 |
000254372 |
005 |
20060517153454.0 |
008 |
s1977 s1964 gw ||||| eng |
035 |
|
|
|a 134233
|
040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
041 |
0 |
|
|a eng
|
082 |
0 |
|
|a 510.82
|b L468L
|2 00
|
100 |
1 |
|
|a Moldestad, John
|d 1946-
|e Autor/a
|4 aut
|
245 |
1 |
0 |
|a Computations in higher types /
|c Johan Moldestad
|
260 |
|
|
|a Berlín :
|b Springer,
|c 1964-.
|
300 |
|
|
|a 203 páginas
|
500 |
|
|
|a En : Lecture notes in mathematics. n. 1- Berlin, Springer, 1964- v. 574
|
650 |
|
|
|a FUNCIONES RECURSIVAS
|
773 |
0 |
|
|7 nnam
|t Lecture notes in mathematics. n. 1-
|
912 |
|
|
|a 17-MAY-2006 - QUIROS SALAZAR, DANILO
|
949 |
|
|
|a -MEb b HC
|
916 |
|
|
|a Registros del LS-2000
|