Author: Logic Colloquium.  8th, Oxford 1963