APA (7th ed.) Citation

Proof Theory as Mathesis Universalis (Veranstaltung) Menaggio-Loveno, Centrone, S., Negri, S., Sarikaya, D., & Schuster, P. M. (2019). Mathesis Universalis, Computability and Proof. Springer.

Chicago Style (17th ed.) Citation

Proof Theory as Mathesis Universalis (Veranstaltung) Menaggio-Loveno, Stefania Centrone, Sara Negri, Deniz Sarikaya, and Peter M. Schuster. Mathesis Universalis, Computability and Proof. Cham, Switzerland: Springer, 2019.

MLA (9th ed.) Citation

Proof Theory as Mathesis Universalis (Veranstaltung) Menaggio-Loveno, et al. Mathesis Universalis, Computability and Proof. Springer, 2019.