text size

doc. RNDr. Mirko Křivánek, CSc.

Faculty of Mathematics and Physics

e-mail
krivanek@cmail.cz
telephone
+420 602 339 150
www
https://mff.cuni.cz/fakulta/struktura/lide/598.htm
external associate
Department of Theoretical Computer Science and Mathematical Logic