International Summer Institute and Logic Colloquium University of Kiel 1974 (Meeting Name)

Number of records used in: 1

Preferred form: International Summer Institute and Logic Colloquium University of Kiel 1974

Machine generated authority record.

Work cat.: ()858866: International Summer Institute and Logic Colloquium University of Kiel 1974., ISILC Logic Conference :, c1975