1 - 2 / 2 1 |
1. Königova lema in Kleenejevo drevo Tadej Slivnik, 2019, undergraduate thesis Keywords: dvojiško drevo, Cantorjev prostor, Königova lema, teorija izračunljivosti, Kleenejevo drevo |
2. Neprotislovnost klasične sintetične teorije izračunljivosti Žiga Putrle, 2023, master's thesis Keywords: teorija tipov, teorij izračunljivosti, teorija realizabilnosti, dokazovalni pomočniki |