Topological Duality for Distributive Lattices : Theory and Applications
Mai Gehrke
Download - Immediately Available
Format: eBook (PDF)
A Bridge to Higher Mathematics
James R. Kirkwood
Download - Immediately Available
Format: eBook (PDF)
A Bridge to Higher Mathematics
James R. Kirkwood
Download - Immediately Available
Format: eBook (EPUB)
Computability and Complexity : Foundations and Tools for Pursuing Scientific Applications
Rod Downey
Download - Immediately Available
Format: eBook (PDF)
Philosophy of Science for Scientists
Lars-Goran Johansson
Download - Immediately Available
Format: eBook (PDF)
Mathematical Proofs: A Transition to Advanced Mathematics : Pearson New International Edition
Gary Chartrand
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)
Handbook of Applied Cryptography
Alfred J. Menezes
Download - Immediately Available
Format: eBook (PDF)
Multiagent Systems : Algorithmic, Game-Theoretic, and Logical Foundations
Yoav Shoham
Download - Immediately Available
Format: eBook (PDF)
Foundations without Foundationalism : A Case for Second-Order Logic
Stewart Shapiro
Download - Immediately Available
Format: eBook (PDF)
Lambda-Calculus and Combinators : An Introduction
J. Roger Hindley
Download - Immediately Available
Format: eBook (PDF)
Conceptual Mathematics : A First Introduction to Categories
F. William Lawvere
Download - Immediately Available
Format: eBook (PDF)
Computer Security Literacy : Staying Safe in a Digital World
Douglas Jacobson
Download - Immediately Available
Format: eBook (PDF)
Boole's Logic and Probability : A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory
T. Hailperin
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)
The Adventure of Reason : Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
Paolo Mancosu
Download - Immediately Available
Format: eBook (PDF)
Introduction to Bisimulation and Coinduction
Davide Sangiorgi
Download - Immediately Available
Format: eBook (PDF)
Propositional and Predicate Calculus: A Model of Argument
Derek Goldrei
Download - Immediately Available
Format: eBook (PDF)
Automata Theory with Modern Applications
James A. Anderson
Download - Immediately Available
Format: eBook (PDF)