Izdaja: European Association for Computer Science Logic