Oxfordshire 1963 : : 8th : Logic Colloquium Oxford