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

£95.00

Hardback

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

234x156mm

ISBN: 9780198538332


Also Available As:

Ebook


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