Uitgaven door European Association for Computer Science Logic