ISILC proof theory symposiom Dedicate to kurt schutte on the occasion of his 65th birthday, proceedings of the International Summer Institute and Logic Colloquium. - Diller J Ed.; Muller G H Ed. (1975)