Author: Logic Colloquium ((8th 1963 Oxford, Oxfordshire))