Models, Logics, and Higher-Dimensional Categories häftadEngelska, 2011