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 (Paperback / softback)
£14.99
£11.99
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketAdvanced Techniques and Applications of Cybersecurity and Forensics
Keshav (UPES, Dehradun, India) Kaushik
Pre-Order
Format: Book (Hardback)
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 BasketThe Times Kakuro Book 1 : 200 Mathematical Logic Puzzles
The Times Mind Games
Pre-Order
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)
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)
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)
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)
Elements of 8-Category Theory
Emily (The Johns Hopkins University, Maryland) Riehl
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
Paolo (Willis S. and Marion Slusser Professor of Philosophy, Mancosu
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£27.49
£25.99
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketA Theory of Truth
Yannis (National and Kapodistrian University of Athens) Stephanou
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£120.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketAnalysis and Synthesis of Singular Systems
Zhiguang (Professor, College of Automation, Harbin Engineering U Feng
Out of stock
Format: Book (Paperback / softback)
Introduction to Logic and to the Methodology of Deductive Sciences
The late Alfred Tarski
Out of stock
Format: Book (Hardback)
Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles
Denis R (The Univ Of Chicago, Usa) Hirschfeldt
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£38.00
£32.99
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketRelative Category Theory and Geometric Morphisms : A Logical Approach
Jonathan Chapman
Out of stock
Format: Book (Hardback)
Transform Methods in Applied Mathematics : An Introduction
Peter Lancaster
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£181.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketCategorical Logic and Type Theory : Volume 141
B. (Computing Science Institute, University of Nijmegen, The N Jacobs
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£99.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketTheorems, Corollaries, Lemmas, and Methods of Proof
Richard J. (Montana Tech, The University of Montana) Rossi
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£129.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketAutomorphisms of First-order Structures
Richard (School of Mathematics and Statistics, School of Mathema Kaye
Out of stock
Format: Book (Hardback)
Bounded Arithmetic, Propositional Logic and Complexity Theory
Jan (Academy of Sciences of the Czech Republic, Prague) Krajicek
Out of stock
Format: Book (Hardback)