The conference on Proof Theory: History and Philosophical Significance held in 1997 at the UniversitProducator: SPRINGER PG