Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings - Blackburn, Patrick; Ditmarsch, Hans van; Manzano, María; Soler-Toscano, Fernando (Springer Berlin Heidelberg, 2011)