Sets, models and recursion theory : proceedings of summer School in Mathematical logic and tenth logic colloquium Leicester, August-September 1965 - Crossley, John N; University of Leicester; Logic Colloquium 1965 : University of Leicester) (Amsterdam : North-Holland Pub., 1967)
Keywords: Logic, Symbolic and mathematical; Set theory