|
|
|
|
| LEADER |
00996nam a22002531 4500 |
| 001 |
1/10590 |
| 008 |
970715s1992 enk f 001 eng d |
| 020 |
|
|
|a 0198537352
|
| 035 |
|
|
|l 10939
|
| 040 |
|
|
|a DLC
|b GR-PeUP
|
| 082 |
0 |
0 |
|a 004 HA
|
| 245 |
1 |
0 |
|a Handbook of logic in computer science /
|c ed by S.Abramsky, Dov M.Gabbay, and T.S.E.Maibaum.
|
| 260 |
|
|
|a Oxford :
|b Clarendon Press,
|c 1992.
|
| 300 |
|
|
|a 2 v. :
|b Fig.,tab. ;
|c 21 cm.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
|
|a V.1. Background: mathematical structures -- V.2. Background: computational structures
|
| 650 |
|
4 |
|a Computer science.
|
| 650 |
|
4 |
|a Computer science
|x Handbook, manuals.
|
| 700 |
1 |
|
|a Abramsky, S.
|
| 700 |
1 |
|
|a Gabbay, Dov M.
|
| 700 |
1 |
|
|a Maibaum, T.S.E.
|
| 852 |
|
|
|a INST
|b UNIPILB
|c MAIN
|e 20040709
|h 004 HA
|p 00126349
|q 00126349
|t LOAN
|v v.1:
|y 0
|z v.1
|4 1
|
| 852 |
|
|
|a INST
|b UNIPILB
|c MAIN
|e 20040709
|h 004 HA
|p 00126350
|q 00126350
|t LOAN
|v v.2:
|y 0
|z v.2
|4 1
|
| 856 |
4 |
|
|d /webopac/covers/01/10939_0198537352.jpg
|
