|
|
|
|
| LEADER |
01154cam a22003017a 4500 |
| 001 |
BIBLO-27655 |
| 003 |
AR-BaUEN |
| 005 |
20201012180336.0 |
| 008 |
990422m19921995enk||||f |||| 00| 0|eng|d |
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 020 |
|
|
|a 0198537352
|q v. 1
|
| 020 |
|
|
|a 0198537611
|q v. 2
|
| 020 |
|
|
|a 019853762X
|q v. 3
|
| 020 |
|
|
|a 0198537808
|q v. 4
|
| 044 |
|
|
|a xxu
|
| 080 |
|
|
|a 681.3
|b H236
|
| 245 |
0 |
0 |
|a Handbook of logic in computer science
|
| 260 |
|
|
|a Oxford :
|b Clarendon Press,
|c c1992-1995
|
| 300 |
|
|
|a 4 v. (xii, 827; x, 571; xiii, 490; xiii, 651 p.)
|
| 500 |
|
|
|a La biblioteca posee: volume 1 Background: mathematical structures; volume 2 Background: computational structures; volume 3 Semantic structures; y volume 4 Semantic modelling
|
| 500 |
|
|
|a Referencias bibliográficas al final de cada capítulo
|
| 500 |
|
|
|a Índice analítico de materias al final de cada volumen.
|
| 650 |
1 |
7 |
|2 spines
|a LOGICA MATEMATICA
|
| 700 |
1 |
|
|a Abramsky, S.
|
| 700 |
1 |
|
|a Gabbay, Dov M.
|
| 700 |
1 |
|
|a Maibaum, T. S. E.
|
| 962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|
| 999 |
|
|
|c 21696
|