Ključne besede: teorija tipov, teorij izračunljivosti, teorija realizabilnosti, dokazovalni pomočnikiCelotno besedilo (datoteka, 707,72 KB)