Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Abramsky, S.; Gabbay, Dov M.; Maibaum, T. S. E.

ISBN 10: 0198537816 / ISBN 13: 9780198537816

Published by Oxford University Press, 2001

About this Item

Seller Inventory # 9780198537816

Bibliographic Details

• Title: Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
• Publisher: Oxford University Press
• Publication Date: 2001
• Language: English
• ISBN 10: 0198537816
• ISBN 13: 9780198537816
• Binding: Hardcover
• Condition: Usado - bueno

About this title

Synopsis

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.

About the Author

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