ISILC proof theory symposium - Diller, J (Lecture Notes in Mathematics, No.0500, 1975)