Sets, models and recursion theory : proceedings of summer School in Mathematical logic and tenth logic colloquium Leicester, August-September 1965 /
edited by John N. Crossley
- Amsterdam : North-Holland Pub., c1967
- [vii], 331 p. ; 23 cm.
- Studies in logic and the foundations of mathematics .