Introducing String Diagrams : The Art of Category Theory
Ralf (RPTU Kaiserslautern-Landau, Germany) Hinze
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
Luca Tranchini
Out of stock
Format: Book (Hardback)
Mathematik fur die Informatik : Grundlegende Begriffe, Strukturen und Anwendungen
Rudolf Berghammer
Out of stock
Format: Book (Paperback / softback)
Taking the “Oof!” Out of Proofs
Alexandr Draganov
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£44.99
£42.25
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
A Bridge to Higher Mathematics
James R. (Sweet Briar College, Sweet Briar, VA 24595) Kirkwood
Pre-Order
Format: Book (Paperback / softback)
Conceptual Mathematics : A First Introduction to Categories
F. William (State University of New York, Buffalo) Lawvere
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£46.99
£43.99
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)
An Invitation to Applied Category Theory : Seven Sketches in Compositionality
Brendan (Massachusetts Institute of Technology) Fong
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£43.99
£41.69
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
Propositional and Predicate Calculus: A Model of Argument
Derek Goldrei
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£54.99
£49.35
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
Mathematical Logic
Heinz-Dieter Ebbinghaus
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Classical Descriptive Set Theory
Alexander Kechris
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Essential Logic for Computer Science
Rex (Professor (Emeritus), University of Oklahoma) Page
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
Cryptography : Theory and Practice
Douglas Robert Stinson
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£43.99
£41.69
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
Modelling Puzzles in First Order Logic
Adrian Groza
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
The Logical Writings of Karl Popper
David Binder
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
An Introduction to the Language of Mathematics
Frederic Mynard
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Philosophical Uses of Categoricity Arguments
Penelope (University of California, Irvine) Maddy
Out of stock
Format: Book (Hardback)
Advanced Smart Computing Technologies in Cybersecurity and Forensics
Keshav (UPES, Dehradun, India) Kaushik
Out of stock
Format: Book (Paperback / softback)
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)
Multilevel Modeling of Secure Systems in QoP-ML
Bogdan (Maria Curie-Sklodowska University, Lublin Voivod Ksiezopolski
Out of stock
Format: Book (Paperback / softback)
Essential Enterprise Blockchain Concepts and Applications
Kavita (Galgotias University, India) Saini
Out of stock
Format: Book (Paperback / softback)
Modern Cryptography with Proof Techniques and Implementations
Seong Oun Hwang
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
