Mathematical Logic and Computation
Jeremy (Carnegie Mellon University, Pennsylvania) Avigad
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£59.99
£50.94
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to BasketDDoS Attacks : Evolution, Detection, Prevention, Reaction, and Tolerance
Dhruba Kumar (Tezpur University, Assam, India) Bhattacharyya
Download Now
Format: eBook (PDF)
Sheaves in Geometry and Logic : A First Introduction to Topos Theory
Saunders MacLane
Download Now
Format: eBook (PDF)
The Tools of Mathematical Reasoning
Tamara J. Lakins
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£75.00
£72.16
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to BasketConditional Reasoning : The Unruly Syntactics, Semantics, Thematics, and Pragmatics of "If"
Raymond Nickerson
Download Now
Format: eBook (EPUB)
Computer Arithmetic and Formal Proofs : Verifying Floating-point Algorithms with the Coq System
Sylvie Boldo
Download Now
Format: eBook (EPUB)
The Real Numbers : An Introduction to Set Theory and Analysis
John Stillwell
Download Now
Format: eBook (PDF)
An Introduction to the Language of Mathematics
Frederic Mynard
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£44.99
£33.54
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to BasketThe Logical Writings of Karl Popper
David Binder
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£44.99
£33.84
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to BasketFrom Computing to Computational Thinking
Paul S. (Kent State University, OH, USA) Wang
Download Now
Format: eBook (PDF)
Practical Cryptography : Algorithms and Implementations Using C++
Saiful Azad
Download Now
Format: eBook (PDF)
An Invitation to Model Theory
Jonathan (University of East Anglia) Kirby
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£24.99
£22.98
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to BasketRelational Mathematics
Gunther (Universitat der Bundeswehr Munchen) Schmidt
Download Now
Format: eBook (PDF)
Modelling Puzzles in First Order Logic
Adrian Groza
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£44.99
£33.84
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to BasketInteractive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Download Now
Format: eBook (PDF)