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