Logic Colloquium '73 : Proceedings of the logic colloquium Bristol, July 1973 - Rose,H.E (Studies in Logic and the Foundations of Mathematics, 1975)