TY - JOUR AU - Baer, Robert M. TI - E. T. a infinitární Churchova teze JO - Pokroky matematiky, fyziky a astronomie PY - 1996 SP - 82 EP - 89 VL - 41 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PMFA_1996__41_2_a2/ LA - cz ID - PMFA_1996__41_2_a2 ER -