Logic Colloquium 8th Oxford, 1963