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

Hardcover

ISBN 10: 0198537816 ISBN 13: 9780198537816

Verlag: OUP Oxford, 2001

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 diesen Titel

Ü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

Details zur Ausgabe

• Verlag: OUP Oxford
• Erscheinungsdatum: 2001
• Sprache: Englisch
• ISBN 10: 0198537816
• ISBN 13: 9780198537816
• Einband: Tapa dura
• Anzahl der Seiten: 556
• Herausgeber: Abramsky S., Gabbay Dov M., Maibaum T. S. E.
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Messaggerie Libri; ufficio.anagrafiche@meli.it; ; Via Verdi, 8; Assago Milano; Italien