Vydania od European Association for Computer Science Logic