Bečvář J. Několik poznámek o ekvivalenci matematických vět. UM [Internet]. 3. červen 2017 [citován 11. květen 2025];19(3). Dostupné z: https://www.ojs.cuni.cz/ucitel/article/view/822