Karol Pak: Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers. Formaliz. Math. 31(1): 205-213 (2023)