Proof Theory: History and Philosophical Significance (Synthese Library)