Ghilardi, Silvio 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
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings (Lecture Notes in Computer Science, 5749)
Ghilardi, Silvio Sebastiani, Roberto
Springer /2009-09-07 Paperback / 393 Pages
isbn-10: 364204221X / isbn-13: 9783642042218
Advances in Modal Logic Volume 9
Bolander, Thomas Brauner, Department of Computer Science Torben Ghilardi, Silvio
College Publications /2012-06-25 Paperback / 592 Pages
isbn-10: 1848900686 / isbn-13: 9781848900684