Compiled labelled deductive systems : a uniform presentation of non-classical logics
著者
書誌事項
Compiled labelled deductive systems : a uniform presentation of non-classical logics
(Studies in logic and computation, 10)
Research Studies Press , Institute of Physics Pub. , Distribution in North America, AIDC, c2004
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [327]-338) and index