APA (7th ed.) Citation

Baaz, M., & Leitsch, A. (2011). Methods of cut-elimination. Springer.

Chicago Style (17th ed.) Citation

Baaz, Matthias, and Alexander Leitsch. Methods of Cut-elimination. Dordrecht, Heidelberg, New York: Springer, 2011.

MLA (9th ed.) Citation

Baaz, Matthias, and Alexander Leitsch. Methods of Cut-elimination. Springer, 2011.