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 - 05 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PMFA_1960__5_4_a2/ LA - cz ID - PMFA_1960__5_4_a2 ER -