The Mathematics of the Models of Reference is a detailed exposition of the modeling of physical and informational reality pursued by iLabs Milan ( www.ilabs.it ), a private research lab in applied Artificial Intelligence. Based on an original approach to cellular automata theory, this book includes an array of axiomatic formal theories, ranging from a discrete, mereological model of the structure of space-time, to non-standard computation and recursion theory. The appendices to the volume explain the applications of the theory in the algorithmic recapture of a variety of physical, biological,...