Semestr zimowy 2010/11

• egzamin, 27 stycznia 2011 (in English)
• kolokwium, 15 grudnia 2010 (in English)

Semestr zimowy 2009/10

• parę zadań z dedukcji naturalnej
• kolokwium, 4 stycznia 2010
• egzamin, 27 stycznia 2010

Semestr zimowy 2008/9

• zadania przygotowawcze do kolokwium
• kolokwium, 13 grudnia 2008
• egzamin, 28 stycznia 2009