Combinatorial game theory (history)