Author: Logic Colloquium (1984 Manchester, Greater Manchester)