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