Shafiei M. A Higher-order Dialogical Logic to demonstrate Leibniz’s Law of Identity of Indiscernibles. RHV [Internet]. 2017 Jul. 15 [cited 2025 Sep. 8];(9):73-88. Available from: https://revistas.uv.cl/index.php/RHV/article/view/62