武蔵大学図書館

Games, logic, and constructive sets

edited by Grigori Mints, Reinhard Muskens ; : pbk. -- CSLI Publications, 2003. -- (CSLI lecture notes ; no. 161). <BB02114058>

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 図書館 洋プラ下層 410.12//F60 0121603633 0件
No. 0001
巻号
所蔵館 図書館
配置場所 洋プラ下層
請求記号 410.12//F60
資料ID 0121603633
禁帯出区分
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 Games, logic, and constructive sets / edited by Grigori Mints, Reinhard Muskens
出版・頒布事項 Stanford, Calif. : CSLI Publications , c2003
形態事項 xii, 128 p. : ill. ; 24 cm
巻号情報
ISBN 1575864495
巻号情報
巻次等 : pbk
ISBN 1575864509
書誌構造リンク CSLI lecture notes <BB07001139> no. 161//a
注記 Includes bibliographical references and index
注記 "The papers collected in this volume are mostly contributions to the Ninth CSLI Workshop on Logic, Language and Computation, held at Stanford University at the end of May 2000." - pref.
学情ID BA6407388X
本文言語コード 英語
著者標目リンク Mint︠s︡, Grigori <AU00089650>
著者標目リンク Muskens, Reinhard, 1953- <AU00139604>
著者標目リンク CSLI Workshop on Logic, Language, and Computation <AU00140584> (9th : 2000 : Stanford University, Stanford, CA)
件名標目等 Logic, Symbolic and mathematical
件名標目等 Game theory
件名標目等 Constructibility (Set theory)