Logic colloquium '73 Proceedings of the colloquium bristol,july 1973. - Rose H E Ed. (Oxford North Holland Publishing, 1975)