The best one I’ve read is Advanced Game Design: A Systems Approach by Michael Sellers. It’s a good bit more rigorous than other books on game design.