Conway's Games and Some of their Basic Properties

Robin Nittka. Conway's Games and Some of their Basic Properties. Formalized Mathematics, 19(2):73-81, 2011. [doi]

Abstract

Abstract is missing.