Multiagent Systems : Algorithmic, Game-Theoretic, and Logical Foundations
Yoav Shoham
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)
The Equation of Knowledge : From Bayes' Rule to a Unified Philosophy of Science
Le Nguyen Hoang
Download - Immediately Available
Format: eBook (PDF)
The Moment of Proof : Mathematical Epiphanies
Donald C. Benson
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)
Not Exactly : In Praise of Vagueness
Kees van Deemter
Download - Immediately Available
Format: eBook (EPUB)
Introduction to Bisimulation and Coinduction
Davide (Universita di Bologna) Sangiorgi
Download - Immediately Available
Format: eBook (PDF)
Proofs and Refutations : The Logic of Mathematical Discovery
Imre Lakatos
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)
The Evolution of Logic
W. D. (University of Illinois, Chicago) Hart
Download - Immediately Available
Format: eBook (PDF)
Alan M. Turing : Centenary Edition
Sara Turing
Download - Immediately Available
Format: eBook (EPUB)
How to Prove It : A Structured Approach
Daniel J. Velleman
Download - Immediately Available
Format: eBook (EPUB)
Computer Security Literacy : Staying Safe in a Digital World
Douglas Jacobson
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)
A Beginner's Guide to Mathematical Logic
Raymond M. Smullyan
Download - Immediately Available
Format: eBook (EPUB)
Mathematics of Logic : A Guide to Completeness Theorems and their Applications
Richard W. Kaye
Download - Immediately Available
Format: eBook (PDF)
An Introduction to Non-Classical Logic : From If to Is
Graham (University of Melbourne) Priest
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)