Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics /

Autor Ghilardi, Silvio, Zawadowski, Marek W., 1960-2024
Vydáno 2002