Logic Colloquium '88 by Ferro & 'Ferro'