Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
logic & algebraic models
$624.79
- Hardcover
556 pages
- Release Date
25 January 2001
Summary
Algebraic and Logical Structures: A Handbook of Semantics
This handbook volume delves into the fundamental topics of semantics in logic and computation. The chapters, some presented as monographic in length, are the result of extensive coordination and follow a cohesive thematic viewpoint. This volume equips the reader with knowledge up to the forefront of current research, making it an indispensable resource for serious researchers in these areas.
Book Details
| ISBN-13: | 9780198537816 |
|---|---|
| ISBN-10: | 0198537816 |
| Series: | Handbook of Logic in Computer Science |
| Author: | Dov M. Gabbay, S. Abramsky, T.S.E. Maibaum |
| Publisher: | Oxford University Press |
| Imprint: | Oxford University Press |
| Format: | Hardcover |
| Number of Pages: | 556 |
| Release Date: | 25 January 2001 |
| Weight: | 912g |
| Dimensions: | 242mm x 162mm x 32mm |
What They're Saying
Critics Review
“Oxford University Press publishes a wonderful series of books entitled Handbook of Logic in Computer Science. … Volume 5: Logic and Algebraic Methods, has I think the best discussion of abstract data types that I have read.”–he Bulletin of Mathematics Books
About The Author
Dov M. Gabbay
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
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.