Handbook of Logic in Computer Science: Volume 3....

Handbook of Logic in Computer Science: Volume 3. Semantic Structures

Abstract

This, the third volume in the successful series - Handbooks of Logic in Computer Science - covers the fundamental topics of semantics in logic and computation.

Authors

Abramsky S; Gabbay DM; Maibaum TSE

Publisher

Oxford University Press

Publication Date

April 27, 1995

ISBN-10

019853762X

ISBN-13

9780198537625

Associated Experts

Thomas Maibaum

Professor Emeritus, Faculty of Engineering

Visit profile

Contact the Experts team

Get technical help

Provide website feedback