International Summer Institute and Logic Colloquium (1974 : Kiel) Bezüge im Wissensnetz Veranstaltungsort (1) GND Kiel