. . "Dedekind\u016Fv okruh"@cs . "10058276"^^ . . "896546"^^ . "30"^^ . "1"^^ . .