Truth, Possibility and Probability : New Logical Foundations of Probability and Statistical Inference
R. Chuaqui
Download Now
Format: eBook (PDF)
Computer Arithmetic and Formal Proofs : Verifying Floating-point Algorithms with the Coq System
Sylvie Boldo
Download Now
Format: eBook (EPUB)
Computer Security Literacy : Staying Safe in a Digital World
Douglas Jacobson
Download Now
Format: eBook (EPUB)
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Download Now
Format: eBook (PDF)
Three Views of Logic : Mathematics, Philosophy, and Computer Science
Donald W. Loveland
Download Now
Format: eBook (PDF)
Invitation to Applied Category Theory : Seven Sketches in Compositionality
Brendan Fong
Download Now
Format: eBook (PDF)
Logical Approach to Automatic Sequences : Exploring Combinatorics on Words with Walnut
Jeffrey Shallit
Download Now
Format: eBook (PDF)
Cryptography : Theory and Practice
Douglas Robert (University of Waterloo, Ontario, Canada) Stinson
Download Now
Format: eBook (PDF)
A Concise Introduction to Pure Mathematics
Martin (Imperial College, London, UK) Liebeck
Download Now
Format: eBook (PDF)
Handbook of Mathematical Induction : Theory and Applications
David S. Gunderson
Download Now
Format: eBook (PDF)