Keywords: teorija tipov, teorij izračunljivosti, teorija realizabilnosti, dokazovalni pomočnikiFull text (file, 707,72 KB)