A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague, in the winter term 2009/10 (faculty code ALGV00051).
A follow-up course Logic from the Point of View of Category Theory was held in the summer term of 2009/10 (see also the previous version of that course). A new run of this course (with syllabus adapted to the Department's curricula) is run in the summer term of the academic year 2012/13.