Tools for Teaching Logic : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings - Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano ((Lecture Notes in Computer Science))