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



This item is printed to order. Items which are printed to order are normally despatched and charged within 5-10 days.

Published: 04 May 1995

666 Pages | line figures


ISBN: 9780198537809

Bookseller Code (AQ)

Handbook of Logic in Computer Science

Volume 4. Semantic Modelling

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

Clarendon Press

  • Fourth volume in the successful series
  • Presents the results of years of in-depth research
  • A comprehensive and standard-setting reference work

Also of Interest