Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Showing 1 - 5 (of 5)
Refine
Goal-Directed Proof Theory - Book

Goal-Directed Proof Theory

Dov M. Gabbay

Item not Available

Format: Book (Hardback)

£119.99

£104.05

Item not Available

Book (Hardback)

Item not Available
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems - Book

Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems

Walter Carnielli

Item not Available

Format: Book (Hardback)

£149.99

£129.45

Item not Available

Book (Hardback)

Item not Available
Temporal Logic: Volume 1 - Book

Temporal Logic: Volume 1

Dov M. Gabbay

Out of stock

Format: Book (Hardback)

£292.50

Out of stock

Book (Hardback)

Add to Basket
A New Perspective on Nonmonotonic Logics - Book

A New Perspective on Nonmonotonic Logics

Dov M. Gabbay

Item not Available

Format: Book (Hardback)

£109.99

£95.55

Item not Available

Book (Hardback)

Item not Available
Logical Tools for Handling Change in Agent-Based Systems - Book

Logical Tools for Handling Change in Agent-Based Systems

Dov M. Gabbay

Item not Available

Format: Book (Hardback)

£139.99

£120.55

Item not Available

Book (Hardback)

Item not Available
Showing 1 - 5 (of 5)
Refine