Sets, models and recursion theory proceedings of the summer school in mathematical logic and tenth logic colloquim, Leicester, August-September 1965

1967