Logic Colloquium 92 door L. Csirmaz