Topological Duality for Distributive Lattices : Theory and Applications
Mai Gehrke
Download - Immediately Available
Format: eBook (PDF)
Multiagent Systems : Algorithmic, Game-Theoretic, and Logical Foundations
Yoav Shoham
Download - Immediately Available
Format: eBook (PDF)
How to Prove It : A Structured Approach
Daniel J. Velleman
Download - Immediately Available
Format: eBook (EPUB)
Introduction to Bisimulation and Coinduction
Davide Sangiorgi
Download - Immediately Available
Format: eBook (PDF)
The Equation of Knowledge : From Bayes' Rule to a Unified Philosophy of Science
Le Nguyen Hoang
Download - Immediately Available
Format: eBook (PDF)
Mathematics of Logic : A Guide to Completeness Theorems and their Applications
Richard W. Kaye
Download - Immediately Available
Format: eBook (PDF)
Introduction to Non-Classical Logic : From If to Is
Graham Priest
Download - Immediately Available
Format: eBook (PDF)
Lambda-Calculus and Combinators : An Introduction
J. Roger Hindley
Download - Immediately Available
Format: eBook (PDF)
Taking Sudoku Seriously : The Math Behind the World's Most Popular Pencil Puzzle
Jason Rosenhouse
Download - Immediately Available
Format: eBook (EPUB)
Conditional Reasoning : The Unruly Syntactics, Semantics, Thematics, and Pragmatics of "If"
Raymond Nickerson
Download - Immediately Available
Format: eBook (EPUB)
Sheaves in Geometry and Logic : A First Introduction to Topos Theory
Saunders MacLane
Download - Immediately Available
Format: eBook (PDF)
How to Prove It : A Structured Approach
Daniel J. Velleman
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)
Practical Cryptography : Algorithms and Implementations Using C++
Saiful Azad
Download - Immediately Available
Format: eBook (PDF)
A Concise Introduction to Mathematical Logic
Wolfgang Rautenberg
Download - Immediately Available
Format: eBook (PDF)