TY - JOUR AU - Kołodziejczyk, Leszek TI - Jak pokazać, że coś ma elementarny dowód, nie pokazując elementarnego dowodu JO - Matematyka Poglądowa PY - 2015 SP - 34 EP - 39 VL - 2 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAPO_2015_2_1_a4/ LA - pl ID - MAPO_2015_2_1_a4 ER -