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