A semestral course at the Department of Logic, Faculty of Philosophy, Charles University in Prague in the winter term of 2006/7 (faculty code ALGV00016).
A similar course is planned for the summer term of 2009/10.