Tools for Teaching Logic

3. TICTTL 2011: Salamanca, Spain