Logic in Games | MIT Press eBooks | IEEE Xplore