%0 Journal Article %A Baer, Robert M. %T E. T. a infinitární Churchova teze %J Pokroky matematiky, fyziky a astronomie %D 1996 %P 82-89 %V 41 %N 2 %U http://geodesic.mathdoc.fr/item/PMFA_1996_41_2_a2/ %G cs %F PMFA_1996_41_2_a2