Logic and games