TY - JOUR AU - Woodall, D. R. TI - Inductio ad absurdum? JO - Pokroky matematiky, fyziky a astronomie PY - 1976 SP - 17 EP - 22 VL - 21 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PMFA_1976__21_1_a1/ LA - cz ID - PMFA_1976__21_1_a1 ER -