Leitsch, A., & Baaz, M. (2011). Methods of cut-elimination. Springer Science+Business Media B.V.
Style de citation Chicago (17e éd.)Leitsch, Alexander, et Matthias Baaz. Methods of Cut-elimination. Dordrecht: Springer Science+Business Media B.V, 2011.
Style de citation MLA (8e éd.)Leitsch, Alexander, et Matthias Baaz. Methods of Cut-elimination. Springer Science+Business Media B.V, 2011.
Attention : ces citations peuvent ne pas être correctes à 100%.