MLA

Centrone, Stefania, et al. Mathesis Universalis, Computability and Proof. Springer International Publishing, 2019.

APA

Centrone, S., Negri, S., Sarikaya, D., & Schuster, P. M. (2019). Mathesis Universalis, Computability and Proof. Springer International Publishing.

Chicago

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