Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics - Ghilardi, Silvio (Kluwer Academic Publishers, 2002)