TY - BOOK ID - 128055086 TI - Sheaves, games, and model completions : a categorial approach to nonclassical propositional logics AU - Ghilardi, Silvio AU - Zawadowski, Marek PY - 2002 SN - 1402006608 PB - Dordrecht : Kluwer academic, DB - UniCat KW - Categories (Mathematics). KW - Model theory. KW - Proposition (Logic). UR - https://www.unicat.be/uniCat?func=search&query=sysid:128055086 AB - ER -