Wydania przez European Association for Computer Science Logic