1 - 2 / 2 1 |
1. Königova lema in Kleenejevo drevo Tadej Slivnik, 2019, diplomsko delo Ključne besede: 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, magistrsko delo Ključne besede: teorija tipov, teorij izračunljivosti, teorija realizabilnosti, dokazovalni pomočniki |