Come la logica matematica può rendere più intelligenti i giochi di strategia