Girard, J. (1987). Proof theory and logical complexity. Bibliopolis.
Chicago-Zitierstil (17. Ausg.)Girard, Jean-Yves. Proof Theory and Logical Complexity. Napoli: Bibliopolis, 1987.
MLA-Zitierstil (9. Ausg.)Girard, Jean-Yves. Proof Theory and Logical Complexity. Bibliopolis, 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.