|
|
|
|
LEADER |
01017nam a2200265 u 4500 |
001 |
000254347 |
005 |
20150826081137.0 |
008 |
s1984 s1964 gw ||||| eng |
020 |
|
|
|a 354013901X
|
035 |
|
|
|a 104707
|
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 Richter, Michael M.
|e Autor/a
|4 aut
|
245 |
1 |
0 |
|a Computation and proof theory :
|b proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
|c edited by M. M. Richter ... [y otros].
|
260 |
|
|
|a Berlín :
|b Springer,
|c 1964-.
|
300 |
|
|
|a viii, 475 páginas :
|b ilustraciones ;
|c 24 cm
|
500 |
|
|
|a En: Lecture notes in mathematics. --Berlin : Springer, 1964- . -- v. 1104 (1984).
|
504 |
|
|
|a Incluye bibliografias.
|
650 |
|
|
|a LOGICA, SIMBOLICA Y MATEMATICA
|
650 |
|
|
|a FUNCIONES RECURSIVAS
|x CONGRESOS
|
773 |
0 |
|
|7 nnam
|t Lecture notes in mathematics. n. 1-
|
912 |
|
|
|a 26-AUG-2015 - CATALOG, HE
|
949 |
|
|
|a AP-AP. AP.
|
916 |
|
|
|a Registros del LS-2000
|