Mathematical Logic häftadEngelska, 2007