%0 Journal Article %A Hořejš, Jiří %T Teoretické základy informatiky %J Pokroky matematiky, fyziky a astronomie %D 1975 %P 15-26 %V 20 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/PMFA_1975__20_1_a2/ %G cz %F PMFA_1975__20_1_a2