Author: Oxfordshire 1963 : : 8th :  Logic Colloquium Oxford