title = {Editorial "Tools for Teaching Logic".},
author = {Hans P. van Ditmarsch and Mara Manzano}, journal = {Logic Journal of the IGPL}, number = {4}, pages = {289-292}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl15.html#DitmarschM07}, volume = {15}, year = {2007}, description = {dblp}, ee = {http://dx.doi.org/10.1093/jigpal/jzm019}, date = {2008-03-02},
keywords = {dblp }
::