Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Kahle, Reinhard ; Schroeder-Heister, Peter ; Stärk, Robert Schroeder-Heister, Peter ; Kahle, Reinhard ; Stärk, Robert
Berlin, Heidelberg: Springer Berlin / Heidelberg 2001
Texto completo disponível