Mathesis Universalis, Computability and Proof - Centrone, Stefania (Springer International Publishing, 2019)