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: 05 September 1996

510 Pages | line figures


ISBN: 9780198538332

Also Available As:


Bookseller Code (AQ)

Labelled Deductive Systems

Volume 1

Dov M. Gabbay

Clarendon Press

Oxford Logic Guides

  • The first description of a new unifying framework for logics for computing
  • This is a new concept in logic from one of the world's most active and influential researchers