Showing 1 - 24 (of 280)
Refine
Taking the “Oof!” Out of Proofs - Book

Taking the “Oof!” Out of Proofs

Alexandr Draganov

Format: Book (Paperback / softback)

£44.99

£38.55

Book (Paperback / softback)

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

£40.88

Book (Paperback / softback)

Add to Basket
Category Theory - Book

Category Theory

Steve (Carnegie Mellon University, USA) Awodey

Format: Book (Paperback / softback)

£57.00

£48.27

Book (Paperback / softback)

Add to Basket
Sheaves in Geometry and Logic : A First Introduction to Topos Theory - Book

Sheaves in Geometry and Logic : A First Introduction to Topos Theory

Saunders MacLane

Format: Book (Paperback / softback)

£64.99

£47.01

Book (Paperback / softback)

Add to Basket
Mathematical Proofs: A Transition to Advanced Mathematics : Pearson New International Edition - Book

Mathematical Proofs: A Transition to Advanced Mathematics : Pearson New International Edition

Gary Chartrand

Format: Book (Paperback / softback)

£67.99

£62.65

Book (Paperback / softback)

Add to Basket
Mathematical Logic - Book

Mathematical Logic

Joseph R. Shoenfield

Format: Book (Paperback / softback)

£45.99

£39.83

Book (Paperback / softback)

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

An Invitation to Applied Category Theory : Seven Sketches in Compositionality

Brendan (Massachusetts Institute of Technology) Fong

Format: Book (Paperback / softback)

£43.99

£38.57

Book (Paperback / softback)

Add to Basket
Propositional and Predicate Calculus: A Model of Argument - Book

Propositional and Predicate Calculus: A Model of Argument

Derek Goldrei

Format: Book (Paperback / softback)

£54.99

£40.24

Book (Paperback / softback)

Add to Basket
Logical Dilemmas : The Life and Work of Kurt Godel - Book

Logical Dilemmas : The Life and Work of Kurt Godel

John Dawson

Format: Book (Paperback / softback)

£43.99

£38.57

Book (Paperback / softback)

Add to Basket
Logic and Structure - Book

Logic and Structure

Dirk van Dalen

Format: Book (Paperback / softback)

£59.99

£42.98

Book (Paperback / softback)

Add to Basket
Basic Proof Theory - Book

Basic Proof Theory

A. S. (Universiteit van Amsterdam) Troelstra

Format: Book (Paperback / softback)

£44.99

£39.34

Book (Paperback / softback)

Add to Basket
Cryptography : Theory and Practice - Book

Cryptography : Theory and Practice

Douglas Robert Stinson

Format: Book (Paperback / softback)

£43.99

£38.57

Book (Paperback / softback)

Add to Basket
A First Course in Logic - Book

A First Course in Logic

Mark Verus Lawson

Format: Book (Paperback / softback)

£61.99

£52.43

Book (Paperback / softback)

Add to Basket
(Co)end Calculus - Book

(Co)end Calculus

Fosco Loregian

Format: Book (Paperback / softback)

£57.99

£49.03

Book (Paperback / softback)

Add to Basket
How to Read and Do Proofs : An Introduction to Mathematical Thought Processes - Book

How to Read and Do Proofs : An Introduction to Mathematical Thought Processes

Daniel (Case Western Reserve University, Ohio) Solow

Format: Book (Paperback / softback)

£75.95

£60.17

Book (Paperback / softback)

Add to Basket
Locally Presentable and Accessible Categories - Book

Locally Presentable and Accessible Categories

J. Adamek

Format: Book (Paperback / softback)

£87.99

£72.37

Book (Paperback / softback)

Add to Basket
Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019) - Book

Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)

Jean-Yves Beziau

Format: Book (Paperback / softback)

£139.99

£95.73

Book (Paperback / softback)

Add to Basket
Prawitz's Epistemic Grounding : An Investigation into the Power of Deduction - Book

Prawitz's Epistemic Grounding : An Investigation into the Power of Deduction

Antonio Piccolomini d’Aragona

Format: Book (Paperback / softback)

£99.99

£69.78

Book (Paperback / softback)

Add to Basket
Advanced Smart Computing Technologies in Cybersecurity and Forensics - Book

Advanced Smart Computing Technologies in Cybersecurity and Forensics

Keshav (UPES, Dehradun, India) Kaushik

Format: Book (Paperback / softback)

£45.99

£40.12

Book (Paperback / softback)

Add to Basket
Multilevel Modeling of Secure Systems in QoP-ML - Book

Multilevel Modeling of Secure Systems in QoP-ML

Bogdan (Maria Curie-Sklodowska University, Lublin Voivod Ksiezopolski

Format: Book (Paperback / softback)

£45.99

£40.12

Book (Paperback / softback)

Add to Basket
Axiomatic Thinking II - Book

Axiomatic Thinking II

Fernando Ferreira

Format: Book (Paperback / softback)

£89.99

£63.29

Book (Paperback / softback)

Add to Basket
Computability - Book

Computability

George Tourlakis

Format: Book (Paperback / softback)

£54.99

£40.53

Book (Paperback / softback)

Add to Basket
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics - Book

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

Alex Citkin

Format: Book (Paperback / softback)

£109.99

£76.27

Book (Paperback / softback)

Add to Basket
Universal Algebraic Logic : Dedicated to the Unity of Science - Book

Universal Algebraic Logic : Dedicated to the Unity of Science

Hajnal Andreka

Format: Book (Paperback / softback)

£89.99

£63.29

Book (Paperback / softback)

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