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