Context

Context of 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.)
Processing Feedback ...