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