名城大学附属図書館

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). <BB05119887>
書誌URL:

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 : pbk 本館 1F 書庫 410.8/L847/386 21125750 0件
No. 0001
巻号 : pbk
所蔵館 本館
配置場所 1F 書庫
請求記号 410.8/L847/386
資料ID 21125750
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 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 <BB05141250> 386//a
注記 Includes bibliographical references (p. [198]-202) and index
学情ID BB05609510
本文言語コード 英語
著者標目リンク *Mann, Allen L. (Allen Lawrence) <AU00079238>
著者標目リンク Sandu, Gabriel <AU00079239>
著者標目リンク Sevenster, Merlijn <AU00079240>
分類標目 DC22:511.3
件名標目等 First-order logic
件名標目等 Game theory