Fernando Soler-Toscano profile picture

Fernando Soler-Toscano

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings