Author: Logic Colloquium (1982 Florence, Italy)