Sheaves, games, and model completions
Subtitle: a categorical approach to nonclassical propositional logics
By: Silvio Ghilardi, Marek Zawadowski.
Contributors: Zawadowski, Marek.
Series: Trends in logic -- v. 14
Publisher: Kluwer Academic Publishers
Published: 2002
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 243
Subjects: Categories (Mathematics); Proposition (Logic); Model theory.
Notes: Includes bibliographical references (p. 233-236) and index.