Beyond Infinity : An expedition to the outer limits of the mathematical universe
Eugenia Cheng
Download - Immediately Available
Format: eBook (EPUB)
Maths on the Back of an Envelope : Clever ways to (roughly) calculate anything
Rob Eastaway
Download - Immediately Available
Format: eBook (EPUB)
Multiagent Systems : Algorithmic, Game-Theoretic, and Logical Foundations
Yoav Shoham
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)
Introduction to Bisimulation and Coinduction
Davide Sangiorgi
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)
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)