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.

Showing 1 - 4 (of 4)
Refine
Topological Duality for Distributive Lattices : Theory and Applications - eBook

£64.99

£55.24

eBook (PDF)

Add to Basket
Modal Logic - Book

Modal Logic

Patrick Blackburn

Format: Book (Paperback / softback)

£82.99

Book (Paperback / softback)

Add to Basket
Basic Proof Theory - Book

Basic Proof Theory

A. S. (Universiteit van Amsterdam) Troelstra

Format: Book (Paperback / softback)

£42.99

£42.35

Book (Paperback / softback)

Add to Basket
Derivation and Computation : Taking the Curry-Howard Correspondence Seriously - Book

£123.00

Book (Hardback)

Add to Basket
Showing 1 - 4 (of 4)
Refine