%0 Journal Article %A Cejtin, Grigorij S. %T Od logicizmu k proceduralizmu (autobiografické zamyslenie) %J Pokroky matematiky, fyziky a astronomie %D 1984 %P 155-164 %V 29 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/PMFA_1984__29_3_a8/ %G sl %F PMFA_1984__29_3_a8