The Sunday Times Teasers Book 2 : Challenge Yourself with 100 Lateral-Thinking Puzzles
The Times Mind Games
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£12.99
£11.45
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
Quantifying Counterfactual Military History
Brennen Fagan
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£23.99
£22.99
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
Computability and Complexity : Foundations and Tools for Pursuing Scientific Applications
Rod Downey
Download - Immediately Available
Format: eBook (PDF)
The Times Kakuro Book 1 : 200 Mathematical Logic Puzzles
The Times Mind Games
Pre-Order
Format: Book (Paperback / softback)
The Joy of Abstraction : An Exploration of Math, Category Theory, and Life
Eugenia (School of the Art Institute of Chicago) Cheng
Out of stock
Format: Book (Paperback / softback)
Uncertainty Quantification in Variational Inequalities : Theory, Numerics, and Applications
Joachim Gwinner
Out of stock
Format: Book (Paperback / softback)
Logic: A Very Short Introduction
Graham (Distinguished Professor of Philosophy at the CUNY Grad Priest
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
The Times Killer Su Doku Book 16 : 200 Lethal Su Doku Puzzles
The Times Mind Games
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Mathematics for the Million : How to Master the Magic of Numbers
Lancelot Hogben
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
The Times Killer Su Doku Book 17 : 200 Lethal Su Doku Puzzles
The Times Mind Games
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
The Times Super Fiendish Su Doku Book 6 : 200 Challenging Puzzles from the Times
The Times Mind Games
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Handbook of Applied Cryptography
Alfred J. (University of Waterloo, Ontario, Canada) Menezes
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
The Joy of Abstraction : An Exploration of Math, Category Theory, and Life
Eugenia (School of the Art Institute of Chicago) Cheng
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Basic Proof Theory
A. S. (Universiteit van Amsterdam) Troelstra
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£44.99
£42.45
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
Sets, Logic and Maths for Computing
David Makinson
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£44.99
£37.09
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Download - Immediately Available
Format: eBook (PDF)
Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Out of stock
Format: Book (Hardback)
Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers
Nina Gierasimczuk
Out of stock
Format: Book (Paperback / softback)
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
William M. Farmer
Out of stock
Format: Book (Paperback / softback)
Introduction to Lattices and Order
B. A. (La Trobe University, Victoria) Davey
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£44.99
£42.65
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra
David A. Cox
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Godel's Theorem: A Very Short Introduction
A. W. (Tutorial Fellow at St Hugh's College, and Professor of P Moore
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Type Theory and Formal Proof : An Introduction
Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
