ISBN 9048160367 books & textbook
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic)
Ghilardi, Silvio Zawadowski, M.
Springer /2010-10-28 Paperback / 254 Pages
isbn-10: 9048160367 / isbn-13: 9789048160365
