Reihe Trends in LogicSilvio Ghilardi × Sheaves, Games, and Model CompletionsA Categorical Approach to Nonclassical Propositional LogicsSilvio GhilardiSpringer NetherlandeBook2013 Sheaves, Games, and Model CompletionsA Categorical Approach to Nonclassical Propositional LogicsSilvio GhilardiSpringer NetherlandSoftcover2010 Sheaves, Games, and Model CompletionsA Categorical Approach to Nonclassical Propositional LogicsSilvio GhilardiSpringer NetherlandHardcover2002