Sheaves, games, and model completions : a categorial approach to nonclassical propositional logics
著者
書誌事項
Sheaves, games, and model completions : a categorial approach to nonclassical propositional logics
（Trends in logic : studia logica library, v. 14）
Kluwer Academic, c2002
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [233]-236) and index
