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 - 24 (of 28)
Refine
A Beginner's Guide to Mathematical Logic - eBook

A Beginner's Guide to Mathematical Logic

Raymond M. Smullyan

Format: eBook (EPUB)

£19.95

£15.96

eBook (EPUB)

Add to Basket
First-Order Logic - Book

First-Order Logic

Raymond M. Smullyan

Format: Book (Paperback / softback)

£8.99

£8.15

Book (Paperback / softback)

Add to Basket
Theory of Formal Systems. (AM-47), Volume 47 - Book

Theory of Formal Systems. (AM-47), Volume 47

Raymond M. Smullyan

Format: Book (Paperback / softback)

£68.00

£58.29

Book (Paperback / softback)

Add to Basket
Godel's Incompleteness Theorems - eBook

Godel's Incompleteness Theorems

Raymond M. Smullyan

Format: eBook (EPUB)

£170.83

£153.75

eBook (EPUB)

Add to Basket
Recursion Theory for Metamathematics - eBook

Recursion Theory for Metamathematics

Raymond M. Smullyan

Format: eBook (PDF)

£239.99

£227.99

eBook (PDF)

Add to Basket
Godel's Incompleteness Theorems - eBook

Godel's Incompleteness Theorems

Raymond M. Smullyan

Format: eBook (PDF)

£349.99

£332.49

eBook (PDF)

Add to Basket
Theory of Formal Systems. (AM-47), Volume 47 - eBook

Theory of Formal Systems. (AM-47), Volume 47

Raymond M. Smullyan

Format: eBook (PDF)

£68.00

£51.00

eBook (PDF)

Add to Basket
Reactive Kripke Semantics - Book

Reactive Kripke Semantics

Dov M. Gabbay

Format: Book (Paperback / softback)

£96.50

£78.95

Book (Paperback / softback)

Item not Available
Reactive Kripke Semantics - Book

Reactive Kripke Semantics

Dov M. Gabbay

Format: Book (Hardback)

£109.99

£95.55

Book (Hardback)

Item not Available
Reactive Kripke Semantics - eBook

Reactive Kripke Semantics

Dov M. Gabbay

Format: eBook (PDF)

£89.50

£76.08

eBook (PDF)

Add to Basket
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics - eBook

£129.50

£110.08

eBook (PDF)

Add to Basket
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics - Book

£109.99

£104.49

Book (Paperback / softback)

Add to Basket
Many-Dimensional Modal Logics: Theory and Applications - eBook

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz

Format: eBook (PDF)

£140.00

£119.00

eBook (PDF)

Add to Basket
A New Approach to Quantum Logic - Book

A New Approach to Quantum Logic

Kurt Engesser

Format: Book (Paperback / softback)

£18.50

£18.05

Book (Paperback / softback)

Add to Basket
A Practical Logic of Cognitive Systems : The Reach of Abduction: Insight and Trial - eBook

£140.00

£119.00

eBook (PDF)

Add to Basket
Goal-Directed Proof Theory - Book

Goal-Directed Proof Theory

Dov M. Gabbay

Format: Book (Hardback)

£119.99

£104.05

Book (Hardback)

Item not Available
A New Perspective on Nonmonotonic Logics - Book

A New Perspective on Nonmonotonic Logics

Dov M. Gabbay

Format: Book (Paperback / softback)

£89.99

Book (Paperback / softback)

Add to Basket
A New Perspective on Nonmonotonic Logics - Book

A New Perspective on Nonmonotonic Logics

Dov M. Gabbay

Format: Book (Hardback)

£109.99

£95.55

Book (Hardback)

Item not Available
A New Perspective on Nonmonotonic Logics - eBook

A New Perspective on Nonmonotonic Logics

Dov M. Gabbay

Format: eBook (PDF)

£89.50

£76.08

eBook (PDF)

Add to Basket
Logical Tools for Handling Change in Agent-Based Systems - Book

Logical Tools for Handling Change in Agent-Based Systems

Dov M. Gabbay

Format: Book (Hardback)

£139.99

£120.55

Book (Hardback)

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

Logical Tools for Handling Change in Agent-Based Systems

Dov M. Gabbay

Format: eBook (PDF)

£129.50

£110.08

eBook (PDF)

Add to Basket
Logical Tools for Handling Change in Agent-Based Systems - Book

Logical Tools for Handling Change in Agent-Based Systems

Dov M. Gabbay

Format: Book (Paperback / softback)

£145.00

£125.25

Book (Paperback / softback)

Item not Available
Proof Theory for Fuzzy Logics - Book

Proof Theory for Fuzzy Logics

George Metcalfe

Format: Book (Hardback)

£109.99

£95.55

Book (Hardback)

Item not Available
Proof Theory for Fuzzy Logics - eBook

Proof Theory for Fuzzy Logics

George Metcalfe

Format: eBook (PDF)

£109.50

£93.08

eBook (PDF)

Add to Basket
Showing 1 - 24 (of 28)
Refine