Reinhard Kahle

1 published title

Proof theory in computer science : International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12 2001 : proceedings

(Contributor)

1 edition