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 44)
Refine
Propositional Quantifiers - Book

Propositional Quantifiers

Peter (University of Oslo) Fritz

Format: Book (Hardback)

£49.99

£49.29

Book (Hardback)

Add to Basket
Introducing String Diagrams : The Art of Category Theory - Book

Introducing String Diagrams : The Art of Category Theory

Ralf (RPTU Kaiserslautern-Landau, Germany) Hinze

Format: Book (Hardback)

£39.99

£36.79

Book (Hardback)

Add to Basket
Conceptual Mathematics : A First Introduction to Categories - Book

Conceptual Mathematics : A First Introduction to Categories

F. William (State University of New York, Buffalo) Lawvere

Format: Book (Paperback / softback)

£46.99

£43.99

Book (Paperback / softback)

Add to Basket
An Invitation to Applied Category Theory : Seven Sketches in Compositionality - Book

£43.99

£41.69

Book (Paperback / softback)

Add to Basket
Essential Logic for Computer Science - Book

Essential Logic for Computer Science

Rex (Professor (Emeritus), University of Oklahoma) Page

Format: Book (Hardback)

£48.00

£36.25

Book (Hardback)

Add to Basket
Philosophical Uses of Categoricity Arguments - Book

£49.99

£49.05

Book (Hardback)

Add to Basket
Cryptography : Theory and Practice - Book

Cryptography : Theory and Practice

Douglas Robert (University of Waterloo, Ontario, Canada) Stinson

Format: Book (Paperback / softback)

£43.99

£41.69

Book (Paperback / softback)

Add to Basket
Cryptography : Theory and Practice - eBook

£43.99

£39.59

eBook (PDF)

Add to Basket
Algebraic and Stochastic Coding Theory - eBook

£49.99

£44.99

eBook (PDF)

Add to Basket
Relative Category Theory and Geometric Morphisms : A Logical Approach - Book

£43.99

Book (Hardback)

Add to Basket
Existentially Closed Groups - Book

£43.99

Book (Hardback)

Add to Basket
Foundations without Foundationalism : A Case for Second-Order Logic - Book

£49.49

Book (Paperback / softback)

Add to Basket
Set Theory : Boolean-Valued Models and Independence Proofs - Book

£47.49

£44.15

Book (Paperback / softback)

Add to Basket
The Indispensability of Mathematics - Book

£41.49

£39.49

Book (Paperback / softback)

Add to Basket
Numbers and Proofs - Book

Numbers and Proofs

Reg (School of Mathematics, University of Leeds, UK) Allenby

Format: Book (Paperback / softback)

£46.99

Book (Paperback / softback)

Item not Available
The Mathematics of Logic : A Guide to Completeness Theorems and their Applications - Book

£39.99

£36.35

Book (Paperback / softback)

Add to Basket
Modal Logic for Philosophers - Book

Modal Logic for Philosophers

James W. (University of Houston) Garson

Format: Book (Paperback / softback)

£37.99

£35.05

Book (Paperback / softback)

Add to Basket
Logic, Induction and Sets - Book

Logic, Induction and Sets

Thomas (University of Cambridge) Forster

Format: Book (Paperback / softback)

£40.99

£39.35

Book (Paperback / softback)

Add to Basket
Introduction To Mathematical Logic (Extended Edition) - Book

£40.00

£35.95

Book (Paperback / softback)

Add to Basket
Proof Analysis : A Contribution to Hilbert's Last Problem - Book

£39.99

£36.79

Book (Paperback / softback)

Add to Basket
Deduction : Introductory Symbolic Logic - Book

Deduction : Introductory Symbolic Logic

Daniel (University of Texas, Austin) Bonevac

Format: Book (Paperback / softback)

£39.95

£35.15

Book (Paperback / softback)

Add to Basket
Hilbert's Programs and Beyond - Book

£36.99

Book (Paperback / softback)

Add to Basket
Automata Theory with Modern Applications - Book

£44.99

£42.45

Book (Paperback / softback)

Add to Basket
Proof Theory : Sequent Calculi and Related Formalisms - eBook

£49.99

£44.99

eBook (EPUB)

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