No cover image available
Handbook of logic in computer science / ed. S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Secondary Author Abramsky, Samson, 1953-Gabbay, Dov M., 1945-
Maibaum, T. S. E. Country Reino Unido. Publication Oxford : Clarendon Press, 1992-19-- Description -- v. ; 24 cm ISBN 0-19-853735-2 (v.1)
0-19-853761-1 (v.2)
0-19-853762-X (v.3)
0-19-853780-8 (v.4)
0-19-853781-6 (v.5) Contents note vol.1 : Background : mathematical structures. - XII, 827 p vol.2 : Background : computational structures. - X, 571 p. : il vol.3 : Semantic structures. - cop. 1994. - XIII, 490 p vol.4 : Semantic modelling. - 1995. - XIII, 651 p. vol.5 : Logic and algebraic methods. - 2000. - XVIII, 537 p CDU 519.6
| Item type | Current location | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - H | LIVRO vol.1 | Available | 103890 | ||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - H | LIVRO vol.2 | Available | 103891 | ||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 109320 | LIVRO vol.1 | Available | 103892 | ||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 109323 | LIVRO vol.2 | Available | 103893 | ||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 109343 | LIVRO vol.3 | Available | 136326 | ||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - H | LIVRO vol.3 | Available | 136327 | ||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 109321 | LIVRO vol.3 | Available | 136328 | ||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - H | LIVRO vol.4 | Available | 158668 | ||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - H | LIVRO vol.5 | Available | 287543 | ||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - H | LIVRO vol.1 | Checked out | 2004-05-26 | 99995 | |
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - H | LIVRO vol.2 | Checked out | 2004-05-26 | 99996 |
Total holds: 0
vol.1 : Background : mathematical structures. - XII, 827 p vol.2 : Background : computational structures. - X, 571 p. : il vol.3 : Semantic structures. - cop. 1994. - XIII, 490 p vol.4 : Semantic modelling. - 1995. - XIII, 651 p. vol.5 : Logic and algebraic methods. - 2000. - XVIII, 537 p.
There are no comments for this item.