Independence-friendly logic : a game-theoretic approach, : pbk

Independence-friendly logic : a game-theoretic approach, : pbk

[by] Allen L. Mann, Gabriel Sandu, Merlijn Sevenster

Cambridge, UK : Cambridge University Press, 2011

図書等

巻号情報

: pbk
No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410.8-L84-386

10011001329

一般図書

詳細情報

刊年

2011

形態

vi, 208 p. : ill. ; 23 cm

シリーズ名

London Mathematical Society lecture note series ; 386

注記

Includes bibliographical references (p. [198]-202) and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Mann, Allen L.

Sandu, Gabriel

Sevenster, Merlijn

分類

DC22:511.3

件名

First-order logic

Game theory

ISBN

9780521149341 (: pbk)

NCID

BB05609510

番号

NBN : 015705979

NBN : GBB0E2199