Computer Science Logic häftadEngelska, 2010