Logic Colloquium'88 Logic Colloquium'82 Colloquium Logic Colloquium(1982:Florence) Logic at botik'89 Logic of equality Logic of oil