Mathesis Universalis, Computability and Proof - Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster (Springer, 2019)