Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /
Edited by John N. Crossley.
- Amsterdam : North-Holland Pub. Co., c1967.
- [4], 331 p. ; 23 cm.
- Studies in logic and the foundations of mathematics .