Logic Colloquium '69. Proceedings of the Summer School and Coloquium in mathematical Logic, Manchester, August 1969; Studies in Logic and the Foundations of Mathematics; Vol. 61