van Benthem Logic in Games - MIT Press 2014 fulltext Monograph ISBN: 9780262320290 Subjects--Topical Terms: Computing and Processing; General Topics for Engineers