Journals Higher Education
Important OUP's Response to COVID-19 Learn more



Published: 27 April 1995

506 Pages | line illustrations, tables


ISBN: 9780198537625

Also Available As:


Bookseller Code (AQ)

Handbook of Logic in Computer Science

Volume 3. Semantic Structures

Edited by S. Abramsky, Dov M. Gabbay, and T. S. E. Maibaum

Clarendon Press

  • Third volume of a successful series.
  • Results of up-to-date and in-depth research.
  • Provides a comprehensive, standard-setting reference work.

Also of Interest