%0 Journal Article %A Gentzen, Gerhard %T Současný stav ve výzkumu základů matematiky %J Pokroky matematiky, fyziky a astronomie %D 1992 %P 257-269 %V 37 %N 5 %U http://geodesic.mathdoc.fr/item/PMFA_1992_37_5_a1/ %G cs %F PMFA_1992_37_5_a1