|
|
|
|
| LEADER |
00955nam a2200241 u 4500 |
| 001 |
000297965 |
| 005 |
20110720143301.0 |
| 008 |
c1990 s1964 gw ||||| eng |
| 020 |
|
|
|a 3540527346
|
| 035 |
|
|
|a 77566
|
| 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 Homer, S.
|e Autor/a
|4 aut
|
| 245 |
1 |
0 |
|a Logic and computer science :
|b lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 /
|c S. Homer ... [y otros]. --
|
| 260 |
|
|
|a Berlín :
|b Springer,
|c 1964-.
|
| 300 |
|
|
|a 162 páginas ;
|c 24 cm
|
| 500 |
|
|
|a En: Lecture notes in mathematics. Berlin : Springer, 1964- v. 1429.
|
| 650 |
|
|
|a LOGICA, SIMBOLICA Y MATEMATICA
|
| 650 |
|
|
|a PROCESAMIENTO ELECTRONICO DE DATOS
|
| 773 |
0 |
|
|7 nnam
|t Lecture notes in mathematics. n. 1-
|
| 949 |
|
|
|a AE, LM-LM b AE
|
| 916 |
|
|
|a Registros del LS-2000
|