Girard, J. (1987). Proof theory and logical complexity. Bibliopolis.
Chicago Style (17th ed.) CitationGirard, Jean-Yves. Proof Theory and Logical Complexity. Napoli: Bibliopolis, 1987.
MLA (9th ed.) CitationGirard, Jean-Yves. Proof Theory and Logical Complexity. Bibliopolis, 1987.
Warning: These citations may not always be 100% accurate.