Author: Logic Colloquim (8th 1963 Oxford)