Author: Logic Colloquium (1973 Bristol, England)