Logic Colloquium '73 : Proceedings of the logic colloquium Bristol, July 1973 - Rose,H.E. (Amsterdam : North-Holland Publishing Co, 1975)