CURRENTLY SOLD OUT

Sheaves, Games and Model Completions: A Categorical Approach to Nonclassical Propositional Logics by Silvio Ghilardi, M. Zawadowski (Hardback, 2002)