Tools for Teaching Logic

3. TICTTL 2011: Salamanca, Spain

maintained by Schloss Dagstuhl LZI, founded at University of Trier