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

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

Patrick Blackburn , Hans van Ditmarsch , Maria Manzano