Logic colloquium '73: proceedings of the Logic Colloquium, Bristol, July 1973