Author: International Summer Institute and Logic Colloquium University of Kiel 1974.