Proof theory history and philosophical significance (Kluwer Acad. Publ., 2000)