龍谷大学図書館

Independence-friendly logic : a game-theoretic approach

Allen L. Mann, Gabriel Sandu, Merlijn Sevenster ; : pbk. -- Cambridge University Press, 2011. -- (London Mathematical Society lecture note series ; 386). <BB21484677>
登録タグ:
登録されているタグはありません
書誌URL:

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

No. 巻号 配置場所 請求記号 資料ID コメント 状態 禁帯出区分 予約 Web書棚
0001 : pbk 深草.8号館閉架B2 417.2/MAN-B 11100062182 一般 0件
巻号 : pbk
所蔵館 深草
配置場所 深草.8号館閉架B2
請求記号 417.2/MAN-B
資料ID 11100062182
コメント
状態
禁帯出区分 一般
返却予定日
予約 0件
Web書棚

書誌詳細

標題および責任表示 Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
出版・頒布事項 Cambridge, U.K. ; Tokyo : Cambridge University Press , 2011
形態事項 vi, 208 p. : ill. ; 23 cm
巻号情報
巻次等 : pbk
ISBN 9780521149341
書誌構造リンク London Mathematical Society lecture note series <BB10003105> 386//a
 >>シリーズで再検索する
注記 Includes bibliographical references (p. [198]-202) and index
NCID BB05609510
本文言語コード 英語
著者標目リンク *Mann, Allen L. (Allen Lawrence) <AU00337930>
著者標目リンク Sandu, Gabriel <AU00337931>
著者標目リンク Sevenster, Merlijn <AU00337932>
分類標目 DC22:511.3
件名標目等 First-order logic
件名標目等 Game theory