Proof theory symposion - Diller, Justus; Müller, Gert Heinz, 1923- (Lecture notes in mathematics ;, 1975)