Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures - Handbook of Logic in Computer Science
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures - Handbook of Logic in Computer Science
hardback
Published:
25 January, 2001
hardback
Published:
25 January, 2001
Standard worldwide delivery by
Wed, August 5 - Mon, August 10
Order within
0
Popular Books by Dov M. Gabbay
View All Books by Dov M. Gabbay
Description
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.
More Details
| Type | Book |
|---|---|
| ISBN13 | 9780198537816 |
| ISBN10 | 0198537816 |
| Number Of Pages | 556 |
| Item Weight | 912 g |
| Product Dimensions | 162 x 242 x 32 mm |
| Publisher / Reseller | Oxford University Press |
| Format | hardback |
See More +
Author's Bio
S Abramsky, Department of Computing, Imperial College of Science, Technology and Medicine, London Dov Gabbay, Department of Computer Science, King's College, London T S E Maibaum, Department of Computing, Imperial College of Science, Technology and Medicine, London