#ifdef COMMENT
[[TITLE_CURRENT]]
#endif
Department of Mathematical Logic and Applications
[[MAIN_TITLE]]
#if [[LANGUAGE]] == English
#else
#endif
#if [[LANGUAGE]] == English
#else
#endif
#if [[LANGUAGE]] == English #toc #else #include "../toc-english.html" #endif