ISILC proof theory symposion: proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974