International Summer Institute and Logic Colloquium University of Kiel 1974.

• ISILC Logic Conference