APA (7th ed.) Citation

(2001). Proof theory in computer science: International seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Proof Theory in Computer Science: International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001 ; Proceedings. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2001.

MLA (9th ed.) Citation

Proof Theory in Computer Science: International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001 ; Proceedings. Springer, 2001.