Logic in Games (The MIT Press)