| Shelfclass_id | 4.B.2 |
| Sortkey | GHILARDI, SILVIO |
| Authors | Silvio Ghilardi, Marek Zawadowski |
| Title | Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics |
| Publisher | Kluwer Academic Publishers |
| Year | c2002 |
| Languages | eng |
| Isbn | 1402006608 |
| Series | Trends in logic |
| Volume | 14 |
| Description | ix, 243 p. 25 cm. |
| Record date | 20070430 |
| Location | Boston |
| Keywords | Categories (Mathematics), Proposition (Logic), Model theory |