Mathematical Logic and Computation
Jeremy Avigad
Download - Immediately Available
Format: eBook (PDF)
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)
Classic Set Theory : For Guided Independent Study
D.C. (Open University) Goldrei
Download - Immediately Available
Format: eBook (PDF)
Sheaves in Geometry and Logic : A First Introduction to Topos Theory
Saunders MacLane
Download - Immediately Available
Format: eBook (PDF)
Mathematics in Games, Sports, and Gambling : The Games People Play, Second Edition
Ronald J. (Emory University, Atlanta, Georgia, USA) Gould
Download - Immediately Available
Format: eBook (PDF)
DDoS Attacks : Evolution, Detection, Prevention, Reaction, and Tolerance
Dhruba Kumar (Tezpur University, Assam, India) Bhattacharyya
Download - Immediately Available
Format: eBook (PDF)
The Tools of Mathematical Reasoning
Tamara J. Lakins
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
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)
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Download - Immediately Available
Format: eBook (PDF)
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory
Douglas (Univ Of Florida, Usa) Cenzer
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Out of stock
Format: Book (Hardback)
Topological Duality for Distributive Lattices : Theory and Applications
Mai Gehrke
Download - Immediately Available
Format: eBook (PDF)
Electronic String Art : Rhythmic Mathematics
Stephen (Dickinson College/International Business and Managemen Erfle
Out of stock
Format: Book (Hardback)
Differential Calculus in Several Variables : A Learning-by-Doing Approach
Marius Ghergu
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Differential Calculus in Several Variables : A Learning-by-Doing Approach
Marius Ghergu
Out of stock
Format: Book (Hardback)
None Syntacticism and Functional Completeness
Odysseus Makridis
Download - Immediately Available
Format: eBook (PDF)
Automatic Complexity : A Computable Measure of Irregularity
Bjørn Kjos-Hanssen
Out of stock
Format: Book (Hardback)
Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
Jean-Yves Beziau
Out of stock
Format: Book (Paperback / softback)
Prawitz's Epistemic Grounding : An Investigation into the Power of Deduction
Antonio Piccolomini d’Aragona
Out of stock
Format: Book (Paperback / softback)
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif
Out of stock
Format: Book (Paperback / softback)
The Priority of Propositions. A Pragmatist Philosophy of Logic
Maria Jose Frapolli
Out of stock
Format: Book (Paperback / softback)