Sheaves, Games, and Model Completions A Categorical Approach to Nonclassical Propositional Logics Ghilardi Silvio Heftet / 2010 / Engelsk
Sheaves, Games, and Model Completions A Categorical Approach to Nonclassical Propositional Logics Ghilardi Silvio Innbundet / 2002 / Engelsk
Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings Ghilardi Silvio Heftet / 2009 / Engelsk
