Introducing String Diagrams : The Art of Category Theory
Ralf (RPTU Kaiserslautern-Landau, Germany) Hinze
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Beyond Borders : New Zealand Literature in the Global Marketplace
Paloma (University of the Balearic Islands, Spain) Fresno-Calleja
Pre-Order
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
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£38.99
£35.59
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
The Mathematical Representation of Physical Reality
Shahen Hacyan
Out of stock
Format: Book (Paperback / softback)
Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Wolfgang Schreiner
Out of stock
Format: Book (Paperback / softback)
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
Luca Tranchini
Out of stock
Format: Book (Hardback)
Computability and Complexity : Foundations and Tools for Pursuing Scientific Applications
Rod Downey
Out of stock
Format: Book (Paperback / softback)
Mathematik fur die Informatik : Grundlegende Begriffe, Strukturen und Anwendungen
Rudolf Berghammer
Out of stock
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)
Mathematical Logic
Joseph R. Shoenfield
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£45.99
£43.45
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
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
Logical Dilemmas : The Life and Work of Kurt Godel
John Dawson
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
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 (University of Waterloo, Ontario, Canada) 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)
Multilevel Modeling of Secure Systems in QoP-ML
Bogdan (Maria Curie-Sklodowska University, Lublin Voivod Ksiezopolski
Out of stock
Format: Book (Paperback / softback)
