Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics /
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Dordrecht ; Boston :
Kluwer Academic Publishers,
c2002
|
| Edice: | Trends in logic ;
v. 14 |
| Témata: |
| Fyzický popis: | ix, 243 s. |
|---|---|
| Bibliografie: | Obsahuje bibliografii (s. 233-236) a rejstřík |
| ISBN: | 1-4020-0660-8 |