TY - JOUR AU - Hájek, Otomar TI - Tři principy indukce v matematice JO - Pokroky matematiky, fyziky a astronomie PY - 1960 SP - 385 EP - 394 VL - 5 IS - 4 UR - http://geodesic.mathdoc.fr/item/PMFA_1960_5_4_a2/ LA - cs ID - PMFA_1960_5_4_a2 ER -