Logic Colloquium. (1963 Oxford, Oxfordshire)