earlier teaching

• in summer 2011:
  an introductory course in term rewriting at the
  5th international school on rewriting (ISR 2010)
• logische structuren
• for practicing natural deduction:
  the ProofWeb system