Mathesis Universalis, Computability and Proof - Centrone, Stefania 1975-; Negri, Sara; Sarikaya, Deniz; Schuster, Peter M. (Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 2019)