Mathesis Universalis, Computability and Proof by Deniz Sarikaya, Stefania Centrone, Sara Negri, Peter M. Schuster | Lex | Lex