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