Logic Colloquium ''88 by Ferro & 'Ferro'