@article{PMFA_1976_21_1_a1,
     author = {Woodall, D. R.},
     title = {Inductio ad absurdum?},
     journal = {Pokroky matematiky, fyziky a astronomie},
     pages = {17--22},
     year = {1976},
     volume = {21},
     number = {1},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/item/PMFA_1976_21_1_a1/}
}