Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Paperback)