L.E.J. Brouwer - Topologist, Intuitionist, Philosopher : How Mathematics Is Rooted in Life
Dirk van Dalen
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Logic and Structure
Dirk van Dalen
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£59.99
£53.15
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketPhilosophy of Science for Scientists
Lars-Goran Johansson
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Multiagent Systems : Algorithmic, Game-Theoretic, and Logical Foundations
Yoav Shoham
Download - Immediately Available
Format: eBook (PDF)
Proofs and Fundamentals : A First Course in Abstract Mathematics
Ethan D. Bloch
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Lambda-Calculus and Combinators : An Introduction
J. Roger Hindley
Download - Immediately Available
Format: eBook (PDF)
Introduction to Bisimulation and Coinduction
Davide Sangiorgi
Download - Immediately Available
Format: eBook (PDF)
Quaternions for Computer Graphics
John Vince
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Elements of Set Theory
Herbert B. (University of California, Los Angeles, U.S.A.) Enderton
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
A First Course in Logic
Mark Verus Lawson
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Mathematical Logic and Computation
Jeremy (Carnegie Mellon University, Pennsylvania) Avigad
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
(Co)end Calculus
Fosco Loregian
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Logical Approach to Automatic Sequences : Exploring Combinatorics on Words with Walnut
Jeffrey Shallit
Download - Immediately Available
Format: eBook (PDF)
Mathematical Logic and Computation
Jeremy Avigad
Download - Immediately Available
Format: eBook (PDF)
How to Read and Do Proofs : An Introduction to Mathematical Thought Processes
Daniel (Case Western Reserve University, Ohio) Solow
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£75.95
£73.45
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketMathematical Logic
H.-D. Ebbinghaus
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Locally Presentable and Accessible Categories
J. Adamek
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£87.99
£87.59
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketRelational Mathematics
Gunther (Universitat der Bundeswehr Munchen) Schmidt
Download - Immediately Available
Format: eBook (PDF)
The Tools of Mathematical Reasoning
Tamara J. Lakins
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Sheaves in Geometry and Logic : A First Introduction to Topos Theory
Saunders MacLane
Download - Immediately Available
Format: eBook (PDF)
From Computing to Computational Thinking
Paul S. (Kent State University, OH, USA) Wang
Download - Immediately Available
Format: eBook (PDF)
Practical Cryptography : Algorithms and Implementations Using C++
Saiful Azad
Download - Immediately Available
Format: eBook (PDF)