TY - JOUR AU - Bečvář, Jindřich TI - Několik poznámek o ekvivalenci matematických vět JO - Učitel matematiky PY - 2011 SP - 165 EP - 171 VL - 19 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/UM_2011__19_3_a5/ LA - cz ID - UM_2011__19_3_a5 ER -