Vítězslav Švejdar (CZE)

Associate professor at the Department of Logic, College of Arts ("Faculty of Arts"), Charles University in Prague. Courses Computability (an introduction to recursive functions), Classical Logic II (with an emphasis on incompleteness and undecidability), and some others related to metamathematics or to algorithms.