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

Dov M. Gabbay

ISBN 10: 0198537816 / ISBN 13: 9780198537816

Verlag: Oxford University Press, Oxford, 2001

Beschreibung

Hardcover. 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. The latest volume in this major reference work covers all major areas of application of logic and theoretical computer science Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Bestandsnummer des Verkäufers 9780198537816

Bibliografische Details

• Titel: Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures (Hardcover)
• Verlag: Oxford University Press, Oxford
• Erscheinungsjahr: 2001
• Sprache: Englisch
• ISBN-10: 0198537816
• ISBN-13: 9780198537816
• Einband: Hardcover
• Zustand: new

Über diesen Titel

Inhaltsangabe

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.

Über die Autorin bzw. den Autor

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