“...Logic Colloquium Hull, Anglie)...”