Author: Logic Colloquium (1983 Aachen, Germany)