• reguły rachunku sekwentów/rules of sequent calculus
• notatki z wykładu z 2014/15, spisane przez p. Grzegorza Bokotę

Stare egzaminy/old exams and such

• egzamin, 31 stycznia 2020 (Polish/English)
• egzamin, 29 stycznia 2019 (in English)
• egzamin, 6 lutego 2018
• egzamin, 7 lutego 2017
• egzamin, 3 lutego 2016 (in English)
• egzamin, 30 stycznia 2015
• egzamin, 30 stycznia 2014
• egzamin, 31 stycznia 2013
• egzamin, 27 stycznia 2011 (in English)
• kolokwium, 15 grudnia 2010 (in English)
• kolokwium, 4 stycznia 2010
• egzamin, 27 stycznia 2010
• kolokwium, 13 grudnia 2008
• egzamin, 28 stycznia 2009



• parę zadań z dedukcji naturalnej
• zadania przygotowawcze do kolokwium, 2008