izlaidumi no European Association for Computer Science Logic