Sets, models and recursion theory. Proceedings of the summerschool in mathematical logic and 10. logic colloquium Leicester, August-September 1965 - Crossley, John N. (Studies in logic and the foundations of mathematics., 1967)