Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers

Karol Pak. Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers. Formalized Mathematics, 31(1):205-213, September 2023. [doi]

Abstract

Abstract is missing.