Cita APA (7a ed.)

(2001). Proof theory in computer science: International seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.).

Cita Chicago Style (17a ed.)

Proof Theory in Computer Science: International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : Proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.). 2001.

Cita MLA (9a ed.)

Proof Theory in Computer Science: International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : Proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.). 2001.