ISILC Logic Conference :proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
