|
|
|
|
| LEADER |
00000cam a22000002a 4500 |
| 008 |
010403m19921995enka b 000 0 eng d |
| 020 |
|
|
|a 0198537352 (v. 1)
|
| 020 |
|
|
|a 0-19-853761-1 (v. 2)
|
| 020 |
|
|
|a 0-19-853762-X (v. 3)
|
| 020 |
|
|
|a 0-19-853780-8 (v. 4)
|
| 035 |
|
|
|a (Sirsi) i9780198537359
|
| 040 |
|
|
|a DLC
|d UV#
|
| 050 |
|
4 |
|a QA76
|b H357
|
| 082 |
0 |
0 |
|a 004
|2 20
|
| 245 |
0 |
0 |
|a Handbook of logic in computer science /
|c edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.
|
| 260 |
|
|
|a Oxford :
|b Clarendon Press ;
|a New York :
|b Oxford University Press,
|c 1992-<1995 >
|
| 300 |
|
|
|a v. <1-4 > :
|b il. ;
|c 25 cm.
|
| 504 |
|
|
|a Incluye bibliografías.
|
| 505 |
1 |
|
|a v. 1. Background: mathematical structure -- v. 2. Background, computational structure -- v. 3. Semantic structures -- v. 4. Semantic modelling.
|
| 650 |
|
4 |
|a Informática.
|9 2254
|
| 650 |
|
4 |
|a Lógica matemática.
|
| 700 |
1 |
2 |
|a Abramsky, Samson,
|d 1953- ,
|e ed.
|
| 700 |
1 |
2 |
|a Gabbay, Dov M.,
|d 1945- ,
|e ed.
|
| 700 |
1 |
2 |
|a Maibaum, Thomas S. E.,
|d 1947- ,
|e ed.
|
| 902 |
|
|
|a DBUV
|
| 596 |
|
|
|a 2
|
| 942 |
|
|
|c LIBRO
|6 _
|
| 999 |
|
|
|c 94674
|d 94674
|
