Home
Scholarly Works
Handbook of Logic in Computer Science: Volume 3....
Book

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, Computing and Software
Visit profile

Contact the Experts team

Get technical help
or
Provide website feedback