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
UR  - http://geodesic.mathdoc.fr/item/PMFA_1976_21_1_a1/
LA  - cs
ID  - PMFA_1976_21_1_a1
ER  -