Topological Duality for Distributive Lattices : Theory and Applications
Mai Gehrke
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 (PDF)
Multiagent Systems : Algorithmic, Game-Theoretic, and Logical Foundations
Yoav Shoham
Download - Immediately Available
Format: eBook (PDF)
The Moment of Proof : Mathematical Epiphanies
Donald C. Benson
Download - Immediately Available
Format: eBook (PDF)
Introduction to Bisimulation and Coinduction
Davide Sangiorgi
Download - Immediately Available
Format: eBook (PDF)
Proofs and Refutations : The Logic of Mathematical Discovery
Imre Lakatos
Download - Immediately Available
Format: eBook (PDF)
Joy of Abstraction : An Exploration of Math, Category Theory, and Life
Eugenia Cheng
Download - Immediately Available
Format: eBook (PDF)
A Beginner's Guide to Mathematical Logic
Raymond M. Smullyan
Download - Immediately Available
Format: eBook (EPUB)
Lambda-Calculus and Combinators : An Introduction
J. Roger Hindley
Download - Immediately Available
Format: eBook (PDF)
Making Up Your Own Mind : Thinking Effectively through Creative Puzzle-Solving
Edward B. Burger
Download - Immediately Available
Format: eBook (PDF)
Alan M. Turing : Centenary Edition
Sara Turing
Download - Immediately Available
Format: eBook (EPUB)
DDoS Attacks : Evolution, Detection, Prevention, Reaction, and Tolerance
Dhruba Kumar (Tezpur University, Assam, India) Bhattacharyya
Download - Immediately Available
Format: eBook (PDF)
Proofs and Refutations : The Logic of Mathematical Discovery
Imre Lakatos
Download - Immediately Available
Format: eBook (EPUB)
Logical Approach to Automatic Sequences : Exploring Combinatorics on Words with Walnut
Jeffrey Shallit
Download - Immediately Available
Format: eBook (PDF)