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)
Argumentation Schemes
Douglas (University of Windsor, Ontario) Walton
Download Now
Format: eBook (PDF)
Proofs and Refutations : The Logic of Mathematical Discovery
Imre Lakatos
Download Now
Format: eBook (EPUB)
Who Wants to be a Millionaire - The Quiz Book
Sony Pictures Television UK Rights Ltd
Download Now
Format: eBook (EPUB)
Conditional 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)
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Download Now
Format: eBook (PDF)